diff options
Diffstat (limited to 'doc')
| -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 |