1 files changed, 16 insertions, 0 deletions
diff --git a/next-lib/doc/Makefile b/next-lib/doc/Makefile
new file mode 100644
index 000000000..e91ff322c
--- /dev/null
+++ b/next-lib/doc/Makefile
@@ -0,0 +1,16 @@
+.PHONY: abstract synopsis
+
+all: synopsis abstract
+
+index:
+	txt2tags -thtml index.txt
+synopsis:
+	runghc MkSynopsis.hs
+
+categories-imagemap.html: categories.dot
+	dot -Tcmapx $^ > $@
+
+abstract:
+	gfdoc -txthtml ../src/abstract/*.gf
+	mv ../src/abstract/*.html abstract
+