diff --git a/module1/ressources/Makefile b/module1/ressources/Makefile index a67219d466abd1744ba935db3e0991adde18a134..20cfeeec18ee586a8991a6fcd369d7591bf21f9a 100644 --- a/module1/ressources/Makefile +++ b/module1/ressources/Makefile @@ -6,7 +6,7 @@ NLINES=10000000 %.html: %.org emacs -batch $^ --funcall org-html-export-to-html sed -i 's/
/
  • /g' $@ mv $@ $@.bak cat $@.bak | grep -A $(NLINES) -e '' | grep -B $(NLINES) -e '
    ' | grep -v -e '' -e '
    ' > $@ rm $@.bak diff --git a/module2/ressources/Makefile b/module2/ressources/Makefile index 629b2ababadd2cd52c0e1e1a980a71d564170f92..0044ba9244d6f8b87214c5aaa5f954cb91af536f 100644 --- a/module2/ressources/Makefile +++ b/module2/ressources/Makefile @@ -5,7 +5,7 @@ NLINES=10000000 %.html: %.org emacs -batch $^ --funcall org-html-export-to-html sed -i 's/
    /
  • /g' $@ mv $@ $@.bak cat $@.bak | grep -A $(NLINES) -e '' | grep -B $(NLINES) -e '
    ' | grep -v -e '' -e '
    ' > $@ rm $@.bak