diff options
| -rw-r--r-- | tools/yelp.m4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/yelp.m4 b/tools/yelp.m4 index 5db847f..3a88229 100644 --- a/tools/yelp.m4 +++ b/tools/yelp.m4 @@ -140,8 +140,8 @@ check-help: xmlpath="$$lc:$(srcdir)/$$lc"; \ fi; \ for page in $(HELP_FILES); do \ - echo "$(XMLLINT) --noout --noent --path $$xmlpath --xinclude $$d$$lc/$$page"; \ - $(XMLLINT) --noout --noent --path "$$xmlpath" --xinclude "$$d$$lc/$$page"; \ + echo "$(XMLLINT) --nonet --noout --noent --path $$xmlpath --xinclude $$d$$lc/$$page"; \ + $(XMLLINT) --nonet --noout --noent --path "$$xmlpath" --xinclude "$$d$$lc/$$page"; \ done; \ done |