aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-25 13:06:12 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-25 13:06:12 +0000
commit12e805cfb032e403e4dd6f410b7e3f24bbc89a98 (patch)
tree4dc6cb90f10293742b0de5320bf3cecff6c3ccec /doc
parentba73f94b3bba9c19726443556b0124fe63dccee6 (diff)
* Don't hardcode the path to the DocBook DTD/stylesheets.
Diffstat (limited to 'doc')
-rw-r--r--doc/manual/Makefile.am3
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am
index 63464002b..262c7bcaa 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