about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/manual/Makefile7
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/manual/Makefile b/doc/manual/Makefile
index 8e5e1f0bce2b..95b472eee52c 100644
--- a/doc/manual/Makefile
+++ b/doc/manual/Makefile
@@ -1,3 +1,10 @@
 DOCBOOK_DTD = /nix/current/xml/dtd/docbook
 DOCBOOK_XSL  =/nix/current/xml/xsl/docbook/
 
+check:
+	SP_CHARSET_FIXED=YES SP_ENCODING=XML \
+	nsgmls -wxml -c /usr/share/sgml/opensp/xml.soc -c $(DOCBOOK_DTD)/docbook.cat -ges book.xml
+
+html:
+	mkdir -p out
+	xsltproc --output out/book.html $(DOCBOOK_XSL)/html/docbook.xsl book.xml