-
Yannick François authored
C'est peut-être le moment de revoir tout ça pour le mettre dans un script indépendant. Utiliser Git pour détecter les modifications, c'est pas mal, mais on doit pouvoir le programmer. Il faudrait comparer la date de modification du fichier source (md) et la date de modification du fichier cible (html). Ensuite, il faudrait voir à supprimer pandoc (ou pas)
cce6066e