• # Et les guillemets ?

    Posté par (site web personnel) . En réponse au journal Une alternative à make(1). Évalué à 5.

    Ça marche pas mieux en mettant les guillemets ?


    psy@tarasque:/tmp% cat "mon fichier"
    tada !
    psy@tarasque:/tmp% cat Makefile
    FICHIER=mon fichier
    FICHIER2="mon fichier"
    ALL:
    echo "${FICHIER} :" && cat "${FICHIER}"
    echo ${FICHIER2}\ : && cat ${FICHIER2}
    psy@tarasque:/tmp% make
    echo "mon fichier :" && cat "mon fichier"
    mon fichier :
    tada !
    echo "mon fichier"\ : && cat "mon fichier"
    mon fichier :
    tada !


    Donc je pense que

    $(GENPDF) -o "$@" "$+"

    devrait donner le résultat escompté, mais je peux me tromper. Avant de réinventer la roue, faudrait s'assurer qu'on utilise correctement celle qui existe.