diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-26 10:47:54 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-26 10:47:54 +0000 |
commit | bd0ce1a4be6612cf53d9d31f1cbe1b25085ccf75 (patch) | |
tree | 0480088f383e32c640e8ddf599d2a0bc97a4a325 | |
parent | 80f8c38384605f99ac43bdd3ae637e72996ca2da (diff) |
* Minor fix.
-rw-r--r-- | doc/manual/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 87d4e87d7..8b3060ac7 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -1,4 +1,4 @@ -ENV = SGML_CATALOG_FILES=$(docbookcatalog)/docbook.cat +ENV = SGML_CATALOG_FILES=$(docbookcatalog) XMLLINT = $(ENV) $(xmllint) $(xmlflags) --catalogs XSLTPROC = $(ENV) $(xsltproc) $(xmlflags) --catalogs |