On Monday 02 January 2017 17:31:55 Frédéric Marchal wrote:
Il est possible de se passer de make en écrivant un petit script shell qui fait la même chose que le Makefile. Je peux m'en charger si tu veux.
Le script n'était pas compliqué à écrire. Il est attaché à ce mail et copié sur le serveur.
Il faut l'utiliser comme ceci:
./generate_html.sh lg077-A.xml
N'oublie pas de le rendre exécutable:
chmod a+x generate_html.sh
Avec lui, pas besoin du Makefile ni de make.
Je ne l'ai testé que sous Debian Jessie avec bash et dash.
Frédéric