diff options
Diffstat (limited to 'security/krb5-16/files/patch-ax')
-rw-r--r-- | security/krb5-16/files/patch-ax | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/security/krb5-16/files/patch-ax b/security/krb5-16/files/patch-ax deleted file mode 100644 index 443b321e28db..000000000000 --- a/security/krb5-16/files/patch-ax +++ /dev/null @@ -1,11 +0,0 @@ ---- ../doc/Makefile.orig Fri Sep 20 10:35:27 2002 -+++ ../doc/Makefile Tue Jul 29 18:53:08 2003 -@@ -1,7 +1,7 @@ - SRCDIR=../src - DVI=texi2dvi - DVIPS=dvips -o "$@" --INFO=makeinfo -+INFO=makeinfo --no-validate - HTML=makeinfo --html - RM=rm -f - TAR=tar -chvf |