diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-31T13·13+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-31T13·13+0000 |
| commit | 9f4c19276d023433ea05f6cc3637b4327bd23fbe (patch) | |
| tree | e53034f1bba18119f204d578d93ab42bf5bab482 /doc/manual | |
| parent | 26ff1cdf89cae33918dfdef2027d135e099ed3b2 (diff) | |
* Basic makefile.
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/Makefile | 7 |
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 |