diff --git a/docs/Makefile b/docs/Makefile
index 203cf3c92198bc3bc10b96164fd654f11b6cef94..765515a5cc33c80a125eef47546bf0620a5f11f5 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -1,10 +1,6 @@
 TOP = ..
 include $(TOP)/mk/boilerplate.mk
 
-DOC_SRCS = installing.vsgml
-
-CLEAN_FILES += installing.sgml installing*.html installing.info*
-
-SRC_TEXI2HTML_OPTS += -number -monolithic -invisible xbm
+SGML_DOC = installing
 
 include $(TOP)/mk/target.mk