summaryrefslogtreecommitdiff
path: root/debian/patches/05-dont_use_net_for_docs.diff
diff options
context:
space:
mode:
Diffstat (limited to 'debian/patches/05-dont_use_net_for_docs.diff')
-rw-r--r--debian/patches/05-dont_use_net_for_docs.diff12
1 files changed, 12 insertions, 0 deletions
diff --git a/debian/patches/05-dont_use_net_for_docs.diff b/debian/patches/05-dont_use_net_for_docs.diff
new file mode 100644
index 00000000..71cb6c25
--- /dev/null
+++ b/debian/patches/05-dont_use_net_for_docs.diff
@@ -0,0 +1,12 @@
+=== modified file 'docs/Makefile'
+--- a/docs/Makefile
++++ b/docs/Makefile
+@@ -10,7 +10,7 @@
+
+ all: docs
+
+-DBPROC_COMMAND = xsltproc
++DBPROC_COMMAND = xsltproc --nonet
+ MKDIR_COMMAND = mkdir
+ CP_COMMAND = cp
+ PERL_COMMAND = perl