diff --git a/module1/ressources/Makefile b/module1/ressources/Makefile index 0484f785bfd1801f0045f2fa91075ec9d5635dba..a67219d466abd1744ba935db3e0991adde18a134 100644 --- a/module1/ressources/Makefile +++ b/module1/ressources/Makefile @@ -6,5 +6,7 @@ NLINES=10000000 %.html: %.org emacs -batch $^ --funcall org-html-export-to-html sed -i 's/
' | grep -B $(NLINES) -e '' | grep -v -e '' -e '' > $@ + rm $@.bak diff --git a/module2/ressources/Makefile b/module2/ressources/Makefile index 2e246eb4b35368df39344dc4a27c699dff77ba2d..629b2ababadd2cd52c0e1e1a980a71d564170f92 100644 --- a/module2/ressources/Makefile +++ b/module2/ressources/Makefile @@ -5,5 +5,7 @@ NLINES=10000000 %.html: %.org emacs -batch $^ --funcall org-html-export-to-html sed -i 's/' | grep -B $(NLINES) -e '' | grep -v -e '' -e '' > $@ + rm $@.bak