diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 233c2bda7..40932b19d 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -3,10 +3,10 @@ SOURCES = *.xml all : manual.pdf manual.html %.fo: %.xml $(SOURCES) - xsltproc --stringparam body.font.family Helvetica --stringparam fop.extensions 1 /usr/share/xml/docbook/stylesheet/nwalsh/fo/docbook.xsl $< > $@ + xsltproc --nonet --stringparam body.font.family Helvetica --stringparam fop.extensions 1 /usr/share/xml/docbook/stylesheet/nwalsh/fo/docbook.xsl $< > $@ %.html: %.xml $(SOURCES) - xsltproc -o $@ /usr/share/xml/docbook/stylesheet/nwalsh/xhtml/docbook.xsl $< + xsltproc --nonet -o $@ /usr/share/xml/docbook/stylesheet/nwalsh/xhtml/docbook.xsl $< %.pdf: %.fo fop -fo $< -pdf $@ |