diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-05T11·29+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-04-05T11·29+0000 |
commit | 6c8cf567b824ddb267578ce0105d374cae755420 (patch) | |
tree | bbd6e63fa38a5080ff6ebfb9359309bfa7cea859 | |
parent | 31e140d70be780d410e697c0ed12b6d84da2cd04 (diff) |
* Use `--nonet' flag.
-rw-r--r-- | doc/manual/Makefile.am | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 58712d785ea8..f5dfdb1dd876 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -22,17 +22,18 @@ MANUAL_SRCS = manual.xml introduction.xml installation.xml \ style.css images manual.is-valid: $(MANUAL_SRCS) version.txt - $(XMLLINT) --xinclude $< | $(XMLLINT) --noout --valid - + $(XMLLINT) --xinclude $< | $(XMLLINT) --noout --nonet --valid - touch $@ version.txt: echo -n $(VERSION) > version.txt man $(MANS): $(MANUAL_SRCS) manual.is-valid - $(XSLTPROC) --xinclude $(docbookxsl)/manpages/docbook.xsl manual.xml + $(XSLTPROC) --nonet --xinclude $(docbookxsl)/manpages/docbook.xsl manual.xml manual.html: $(MANUAL_SRCS) manual.is-valid images - $(XSLTPROC) --xinclude --output manual.html $(docbookxsl)/html/docbook.xsl manual.xml + $(XSLTPROC) --nonet --xinclude --output manual.html \ + $(docbookxsl)/html/docbook.xsl manual.xml all-local: manual.html |