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