diff options
Diffstat (limited to 'user/giflib/xmlto-skip-validation.patch')
| -rw-r--r-- | user/giflib/xmlto-skip-validation.patch | 19 |
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 - |