summaryrefslogtreecommitdiff
path: root/user/giflib/xmlto-skip-validation.patch
diff options
context:
space:
mode:
Diffstat (limited to 'user/giflib/xmlto-skip-validation.patch')
-rw-r--r--user/giflib/xmlto-skip-validation.patch19
1 files changed, 0 insertions, 19 deletions
diff --git a/user/giflib/xmlto-skip-validation.patch b/user/giflib/xmlto-skip-validation.patch
deleted file mode 100644
index 96573ad6c..000000000
--- a/user/giflib/xmlto-skip-validation.patch
+++ /dev/null
@@ -1,19 +0,0 @@
---- ./doc/Makefile.in.orig 2013-07-15 14:59:04.840695596 +0000
-+++ ./doc/Makefile.in 2013-07-15 14:59:30.667643646 +0000
-@@ -379,13 +379,13 @@
-
-
- .xml.html:
-- xmlto xhtml-nochunks $<
-+ xmlto --skip-validation xhtml-nochunks $<
-
- .xml.1:
-- xmlto man $<
-+ xmlto --skip-validation man $<
-
- .xml.txt:
-- xmlto txt $<
-+ xmlto --skip-validation txt $<
-
- all: allhtml manpages
-