diff options
Diffstat (limited to 'shells/zsh/files/patch-ab')
-rw-r--r-- | shells/zsh/files/patch-ab | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/shells/zsh/files/patch-ab b/shells/zsh/files/patch-ab deleted file mode 100644 index 0899f82e9386..000000000000 --- a/shells/zsh/files/patch-ab +++ /dev/null @@ -1,11 +0,0 @@ ---- Doc/Makefile.in.orig Thu Apr 20 04:03:42 2000 -+++ Doc/Makefile.in Sat Apr 29 00:04:52 2000 -@@ -37,7 +37,7 @@ - - @DEFS_MK@ - --MAKEINFO = makeinfo -+MAKEINFO = makeinfo --no-split - TEXI2DVI = texi2dvi - DVIPS = dvips - TEXI2HTML = texi2html -expandinfo -split_chapter |