diff --git a/docs/Makefile.in b/docs/Makefile.in
index d7789e46..66d75fa5 100755
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -40,6 +40,7 @@ FORCE:
 html: FORCE
 	@test -d html || mkdir html
 	$(JADE) $(CATALOG) -d $(HTML_STYLESHEET) -V use-output-dir -t sgml $(XMLDCL) manual.xml
+	$(PHP) scripts/html_syntax.php html html/
 
 web: FORCE
 	@test -d phpweb || mkdir phpweb
diff --git a/docs/html.dsl b/docs/html.dsl
deleted file mode 100644
index 7f059479..00000000
--- a/docs/html.dsl
+++ /dev/null
@@ -1,21 +0,0 @@
-<!DOCTYPE style-sheet PUBLIC "-//James Clark//DTD DSSSL Style Sheet//EN" [
-<!ENTITY docbook.dsl SYSTEM "/usr/share/sgml/docbook/dsssl-stylesheets/html/docbook.dsl" CDATA DSSSL>
-<!ENTITY html-common.dsl SYSTEM "html-common.dsl">
-<!ENTITY common.dsl SYSTEM "common.dsl">
-]>
-
-<style-sheet>
-<style-specification id="docbook-smarty-html" use="docbook">
-<style-specification-body>
-
-(define %html-ext% ".html")
-
-&html-common.dsl;
-&common.dsl;
-
-</style-specification-body>
-</style-specification>
-
-<external-specification id="docbook" document="docbook.dsl">
-
-</style-sheet>