diff options
Diffstat (limited to 'debian/patches/0001-make-a2x-skip-xmllint.patch')
-rw-r--r-- | debian/patches/0001-make-a2x-skip-xmllint.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/0001-make-a2x-skip-xmllint.patch b/debian/patches/0001-make-a2x-skip-xmllint.patch index 38f48d5..9404554 100644 --- a/debian/patches/0001-make-a2x-skip-xmllint.patch +++ b/debian/patches/0001-make-a2x-skip-xmllint.patch | |||
@@ -8,10 +8,10 @@ Simply avoiding a2x failure caused by xmllint exit code 4 (Validation error). | |||
8 | 1 file changed, 3 insertions(+), 3 deletions(-) | 8 | 1 file changed, 3 insertions(+), 3 deletions(-) |
9 | 9 | ||
10 | diff --git a/Makefile b/Makefile | 10 | diff --git a/Makefile b/Makefile |
11 | index 2dc92df..1dac1ef 100644 | 11 | index 6fac5bd..63e38ab 100644 |
12 | --- a/Makefile | 12 | --- a/Makefile |
13 | +++ b/Makefile | 13 | +++ b/Makefile |
14 | @@ -126,13 +126,13 @@ doc-html: $(DOC_HTML) | 14 | @@ -127,13 +127,13 @@ doc-html: $(DOC_HTML) |
15 | doc-pdf: $(DOC_PDF) | 15 | doc-pdf: $(DOC_PDF) |
16 | 16 | ||
17 | %.5 : %.5.txt | 17 | %.5 : %.5.txt |