Add a makefile.
authorKim Nguyễn <kn@lri.fr>
Tue, 23 Oct 2012 20:02:10 +0000 (22:02 +0200)
committerKim Nguyễn <kn@lri.fr>
Tue, 23 Oct 2012 20:02:10 +0000 (22:02 +0200)
Makefile [new file with mode: 0644]

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