Add a makefile.
[hacks/tiki_of_html.git] / Makefile
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