From: Kim Nguyễn <kn@lri.fr>
Date: Tue, 23 Oct 2012 20:02:10 +0000 (+0200)
Subject: Add a makefile.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=hacks%2Ftiki_of_html.git;a=commitdiff_plain;h=6423f9bc23b99ee99d95ce35298147f59c76ae29

Add a makefile.
---

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..57c07f5
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,2 @@
+all:
+	cduce --compile tiki_of_html.cd