From 1abcc4dc850eb8b14134360a71a440baff6a99f3 Mon Sep 17 00:00:00 2001
From: REMY Didier <didier.remy@inria.fr>
Date: Sun, 29 Oct 2017 16:39:41 +0100
Subject: [PATCH] - Adding anchors for Remy's lecture 2 - Adding Makefile to
 produce README.html from README.md   so that we can see the output in a
 browser before commiting to gitlab.   requires pandoc installed.

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..0f984d0
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,4 @@
+
+README.html: README.md
+	pandoc -s -f markdown -t html -o $@ $<
+