From 6211cd439fb54749e91876b31b3ab33437986e6b Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Tue, 4 Sep 2018 07:35:14 +0200
Subject: [PATCH] Copy HTML generating Makefile

---
 module4/ressources/Makefile            | 15 +++++++++++++++
 module4/ressources/html_png_inliner.pl | 17 +++++++++++++++++
 2 files changed, 32 insertions(+)
 create mode 100644 module4/ressources/Makefile
 create mode 100755 module4/ressources/html_png_inliner.pl
diff --git a/module4/ressources/Makefile b/module4/ressources/Makefile
new file mode 100644
index 0000000..7b33bb9
--- /dev/null
+++ b/module4/ressources/Makefile
@@ -0,0 +1,15 @@
+all: resources.html
+
+NLINES=10000000
+
+%.html: %.org
+	emacs -batch $^  --funcall org-html-export-to-html
+	sed -i -e 's/<pre /<pre style="padding-left: 30px; background-color: #f6f8fa;" /g' \
+	       -e 's/<li>/<li style="margin-bottom:0;">/g' \
+	       -e 's/<ul>/<ul style="margin:0 0;">/g' $@
+	mv $@ $@.bak
+	html_png_inliner.pl < $@.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
+
+clean:
+	rm -f *~
diff --git a/module4/ressources/html_png_inliner.pl b/module4/ressources/html_png_inliner.pl
new file mode 100755
index 0000000..2dcbe1f
--- /dev/null
+++ b/module4/ressources/html_png_inliner.pl
@@ -0,0 +1,17 @@
+#!/usr/bin/perl -w
+use strict;
+
+my($line);
+while(defined($line=<STDIN>)) {
+     if($line =~ /^(.*)<img *src="([^"]*)"(.*)$/g) {
+        my($pre,$image,$post) = ($1,$2,$3);
+	$image =~ s|file://||;
+#        print "$image\n";
+        my $base64=`base64 -w 0 $image`;
+        my $format=$image;
+        $format =~ s/.*\.//g;
+        print $pre."<img src=\"data:image/$format;base64,".$base64.'"'.$post;
+     } else {
+        print $line;
+     }
+}
-- 
2.18.1

