X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2FMakefile;h=765515a5cc33c80a125eef47546bf0620a5f11f5;hb=5da1e4ac8dd64bf42c515492344603edc8a210e2;hp=b2164c464f2eb250972939db7aa1f1c472877be1;hpb=2494407a750053daa61718fac371487d04818e57;p=ghc-hetmet.git

diff --git a/docs/Makefile b/docs/Makefile
index b2164c4..765515a 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -1,8 +1,6 @@
 TOP = ..
 include $(TOP)/mk/boilerplate.mk
 
-DOC_SRCS = installing.lit
-
-SRC_TEXI2HTML_OPTS += -number -monolithic -invisible xbm
+SGML_DOC = installing
 
 include $(TOP)/mk/target.mk