diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-12 13:54:42 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-08-12 13:54:42 +0000 |
| commit | e405ca506efa608c3636023a98994c05f09ecf0c (patch) | |
| tree | 0875328cfb44957a693d92f0d56037f2967a4642 /doc/manual/Makefile | |
| parent | c602930e08a508fce76b16f6f7f1fdfaed3b91ab (diff) | |
* Generate man pages from the manual.
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 |