diff options
Diffstat (limited to 'security/krb5-17/files/patch-ax')
-rw-r--r-- | security/krb5-17/files/patch-ax | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/security/krb5-17/files/patch-ax b/security/krb5-17/files/patch-ax deleted file mode 100644 index 2c110174a901..000000000000 --- a/security/krb5-17/files/patch-ax +++ /dev/null @@ -1,11 +0,0 @@ ---- ../doc/Makefile.orig Thu Dec 21 14:07:10 2006 -+++ ../doc/Makefile Tue Jan 9 18:29:27 2007 -@@ -2,7 +2,7 @@ - DVI=texi2dvi - DVIPS=dvips -o "$@" - PSPDF=ps2pdf --INFO=makeinfo -+INFO=makeinfo --no-validate --no-split - HTML=makeinfo --html --no-split - RM=rm -f - TAR=tar -chvf |