From 36df95f02f5985c797f119cbf324e263374b4399 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Wed, 13 Dec 2017 14:09:19 +0100
Subject: [PATCH] Makefile.

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index e22c835..98639b2 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,9 @@
+.PHONY: html clean
+
+html: README.html
+
+clean:
+	rm -f README.html *~
 
 README.html: README.md
 	pandoc -s -f markdown -t html -o $@ $<