Skip to content

M
mooc-rr-ressources
Commit adc1bd4d authored by Arnaud Legrand's avatar Arnaud Legrand
Browse files
Options

More cosmetics for FUN

parent 1b527eda
Show whitespace changes
Inline Side-by-side
Showing with 6 additions and 4 deletions
module1/ressources/Makefile
View file @ adc1bd4d
...@@ -5,8 +5,9 @@ NLINES=10000000 ...@@ -5,8 +5,9 @@ NLINES=10000000
%.html: %.org %.html: %.org
emacs -batch $^ --funcall org-html-export-to-html emacs -batch $^ --funcall org-html-export-to-html
sed -i 's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g' $@ sed -i -e 's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g' \
sed -i 's/<li>/<li style="margin-bottom:0;">/g' $@ -e 's/<li>/<li style="margin-bottom:0;">/g' \
-e 's/<ul>/<ul style="margin:0 0;">/g' $@
mv $@ $@.bak mv $@ $@.bak
cat $@.bak | grep -A $(NLINES) -e '<body>' | grep -B $(NLINES) -e '<div id="postamble" class="status">' | grep -v -e '<body>' -e '<div id="postamble" class="status">' > $@ cat $@.bak | grep -A $(NLINES) -e '<body>' | grep -B $(NLINES) -e '<div id="postamble" class="status">' | grep -v -e '<body>' -e '<div id="postamble" class="status">' > $@
rm $@.bak rm $@.bak
module2/ressources/Makefile
View file @ adc1bd4d
...@@ -4,8 +4,9 @@ NLINES=10000000 ...@@ -4,8 +4,9 @@ NLINES=10000000
%.html: %.org %.html: %.org
emacs -batch $^ --funcall org-html-export-to-html emacs -batch $^ --funcall org-html-export-to-html
sed -i 's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g' $@ sed -i -e 's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g' \
sed -i 's/<li>/<li style="margin-bottom:0;">/g' $@ -e 's/<li>/<li style="margin-bottom:0;">/g' \
-e 's/<ul>/<ul style="margin:0 0;">/g' $@
mv $@ $@.bak mv $@ $@.bak
cat $@.bak | grep -A $(NLINES) -e '<body>' | grep -B $(NLINES) -e '<div id="postamble" class="status">' | grep -v -e '<body>' -e '<div id="postamble" class="status">' > $@ cat $@.bak | grep -A $(NLINES) -e '<body>' | grep -B $(NLINES) -e '<div id="postamble" class="status">' | grep -v -e '<body>' -e '<div id="postamble" class="status">' > $@
rm $@.bak rm $@.bak
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment