diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-25T13·06+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-25T13·06+0000 |
commit | 12e805cfb032e403e4dd6f410b7e3f24bbc89a98 (patch) | |
tree | 4dc6cb90f10293742b0de5320bf3cecff6c3ccec | |
parent | ba73f94b3bba9c19726443556b0124fe63dccee6 (diff) |
* Don't hardcode the path to the DocBook DTD/stylesheets.
-rw-r--r-- | doc/manual/Makefile.am | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 63464002bef3..262c7bcaaf10 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -1,6 +1,3 @@ -DOCBOOK_DTD = /nix/current/xml/dtd/docbook -DOCBOOK_XSL = /nix/current/xml/xsl/docbook - ENV = SGML_CATALOG_FILES=$(DOCBOOK_DTD)/docbook.cat XMLLINT = $(ENV) xmllint --catalogs |