about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-04-05T11·29+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-04-05T11·29+0000
commit6c8cf567b824ddb267578ce0105d374cae755420 (patch)
treebbd6e63fa38a5080ff6ebfb9359309bfa7cea859 /doc/manual
parent31e140d70be780d410e697c0ed12b6d84da2cd04 (diff)
* Use `--nonet' flag.
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/Makefile.am7
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