diff options
Diffstat (limited to 'shells/bash/files/patch-doc::Makefile.in')
| -rw-r--r-- | shells/bash/files/patch-doc::Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/shells/bash/files/patch-doc::Makefile.in b/shells/bash/files/patch-doc::Makefile.in index b14453a5e531..4bd0159a793e 100644 --- a/shells/bash/files/patch-doc::Makefile.in +++ b/shells/bash/files/patch-doc::Makefile.in @@ -1,5 +1,5 @@ ---- doc/Makefile.in.orig Tue Aug 31 00:34:30 2004 -+++ doc/Makefile.in Tue Aug 31 00:36:03 2004 +--- doc/Makefile.in.orig Wed Dec 28 20:00:02 2005 ++++ doc/Makefile.in Wed Dec 28 20:00:58 2005 @@ -161,14 +161,11 @@ bashref.dvi: $(BASHREF_FILES) $(HSUSER) $(RLUSER) ${SET_TEXINPUTS} $(TEXI2DVI) $(srcdir)/bashref.texi |