diff options
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -28,6 +28,7 @@ SHELL = /bin/bash RM = /bin/rm DB2MAN = http://docbook.sourceforge.net/release/xsl-ns/current/manpages/docbook.xsl +DB2HTML = http://docbook.sourceforge.net/release/xsl-ns/current/html/docbook.xsl XP = /usr/bin/xsltproc --nonet --param man.charmap.use.subset "0" \ --param make.year.ranges "1" --param make.single.year.ranges "1" @@ -85,6 +86,8 @@ man: ${MANPAGE_FILES} %.1: %.1.xml $(XP) -o $@ $(DB2MAN) $< +%.1.html: %.1.xml + $(XP) -o $@ $(DB2HTML) $< .PHONY: sphinx sphinx: |