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/?a=commitdiff_plain;h=6423f9bc23b99ee99d95ce35298147f59c76ae29;hp=e86dc72588f6a871b7cb883ce800486e580d41ba;p=hacks%2Ftiki_of_html.git

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