Document -ddump-to-file.

[ghc-hetmet.git] / docs / Makefile

diff --git a/docs/Makefile b/docs/Makefile
index b2164c4..670fdd9 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -1,8 +1,4 @@
+dir = docs
 TOP = ..
-include $(TOP)/mk/boilerplate.mk
+include $(TOP)/mk/sub-makefile.mk
 
-DOC_SRCS = installing.lit
-
-SRC_TEXI2HTML_OPTS += -number -monolithic -invisible xbm
-
-include $(TOP)/mk/target.mk