diff --git a/Makefile.ressources b/Makefile.ressources index 79e60082a3807f524d820a561dac98c26c198a64..169b87b90b8f15ce58e9e9b16a7969c22c4c0276 100644 --- a/Makefile.ressources +++ b/Makefile.ressources @@ -1,11 +1,12 @@ %.md: %.org rm -f $@ - LANG=C ; pandoc -s -f org -t markdown_github -o $@ $^ + LANG=C ; pandoc -s -f org -t gfm -o $@ $^ mv $@ $@.bak echo '---' > $@ grep -i -e "#+TITLE:" -e "#+AUTHOR:" $^ | sed 's/#+//' >> $@ # -e "#+DATE:" ## echo "DATE: `date '+%B %e, %Y'`" >> $@ git log $^ | grep Date | head -n 1 | sed 's/+.*//' >> $@ + sed -i -e 's/TITLE:/title:/i' -e 's/AUTHOR:/author:/i' -e 's/Date:/date:/i' $@ echo "---\\n" >> $@ cat $@.bak >> $@ rm $@.bak