diff options
Diffstat (limited to 'doc/manual/Makefile')
| -rw-r--r-- | doc/manual/Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/manual/Makefile b/doc/manual/Makefile deleted file mode 100644 index 52f17c65a..000000000 --- a/doc/manual/Makefile +++ /dev/null @@ -1,11 +0,0 @@ -DOCBOOK_DTD = /nix/current/xml/dtd/docbook -DOCBOOK_XSL = /nix/current/xml/xsl/docbook - -all: check html - -check: - SP_CHARSET_FIXED=YES SP_ENCODING=XML \ - nsgmls -wxml -c /usr/share/doc/packages/sp/html-xml/xml.soc -c $(DOCBOOK_DTD)/docbook.cat -ges book.xml - -html: - xsltproc --output book.html $(DOCBOOK_XSL)/html/docbook.xsl book.xml |