diff options
Diffstat (limited to 'doc/manual/Makefile.am')
| -rw-r--r-- | doc/manual/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 94077acc0ce2..ef1a4d4a9527 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -1,4 +1,4 @@ -ENV = SGML_CATALOG_FILES=$(docbookcatalog) +ENV = SGML_CATALOG_FILES=$(docbookcatalog):$(docbookebnfcatalog) XMLLINT = $(ENV) $(xmllint) $(xmlflags) --catalogs XSLTPROC = $(ENV) $(xsltproc) $(xmlflags) --catalogs \ @@ -13,7 +13,7 @@ man1_MANS = nix-env.1 nix-store.1 nix-instantiate.1 \ SOURCES = manual.xml introduction.xml installation.xml overview.xml \ $(man1_MANS:.1=.xml) \ troubleshooting.xml bugs.xml opt-common.xml opt-common-syn.xml \ - quick-start.xml style.css images + quick-start.xml nix-lang-ref.xml style.css images manual.is-valid: $(SOURCES) version.xml $(XMLLINT) --noout --valid manual.xml |