1 files changed, 0 insertions, 16 deletions
diff --git a/next-lib/doc/Makefile b/next-lib/doc/Makefile
deleted file mode 100644
index e91ff322c..000000000
--- a/next-lib/doc/Makefile
+++ /dev/null
@@ -1,16 +0,0 @@
-.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
-