diff options
Diffstat (limited to 'shells/bash/files')
| -rw-r--r-- | shells/bash/files/patch-aa | 21 | ||||
| -rw-r--r-- | shells/bash/files/patch-ab | 19 |
2 files changed, 0 insertions, 40 deletions
diff --git a/shells/bash/files/patch-aa b/shells/bash/files/patch-aa deleted file mode 100644 index 16d0302debad..000000000000 --- a/shells/bash/files/patch-aa +++ /dev/null @@ -1,21 +0,0 @@ -*** doc/Makefile.in.bak Fri Jan 31 00:12:33 1997 ---- doc/Makefile.in Sat Jun 28 02:23:01 1997 -*************** -*** 155,161 **** - -$(INSTALL_DATA) $(srcdir)/bashref.info $(infodir)/bash.info - # run install-info if it is present to update the info directory - if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ -! install-info --dir-file=$(infodir)/dir $(infodir)/bash.info; \ - else true; fi - - uninstall: ---- 155,163 ---- - -$(INSTALL_DATA) $(srcdir)/bashref.info $(infodir)/bash.info - # run install-info if it is present to update the info directory - if $(SHELL) -c 'install-info --version' >/dev/null 2>&1; then \ -! install-info \ -! --defentry="* BASH: (bash). Bash Reference Manual." \ -! --dir-file=$(infodir)/dir $(infodir)/bash.info; \ - else true; fi - - uninstall: diff --git a/shells/bash/files/patch-ab b/shells/bash/files/patch-ab deleted file mode 100644 index 46c5e4f858c3..000000000000 --- a/shells/bash/files/patch-ab +++ /dev/null @@ -1,19 +0,0 @@ -*** Makefile.in.bak Wed Dec 18 22:57:21 1996 ---- Makefile.in Fri Dec 27 14:20:11 1996 -*************** -*** 499,505 **** - - install: .made installdirs - $(INSTALL_PROGRAM) $(Program) $(bindir)/$(Program) -! $(INSTALL_PROGRAM) bashbug $(bindir)/bashbug - -( cd $(DOCDIR) ; $(MAKE) $(MFLAGS) \ - man1dir=$(man1dir) man1ext=$(man1ext) \ - man3dir=$(man3dir) man3ext=$(man3ext) \ ---- 499,505 ---- - - install: .made installdirs - $(INSTALL_PROGRAM) $(Program) $(bindir)/$(Program) -! $(INSTALL) -m 555 bashbug $(bindir)/bashbug - -( cd $(DOCDIR) ; $(MAKE) $(MFLAGS) \ - man1dir=$(man1dir) man1ext=$(man1ext) \ - man3dir=$(man3dir) man3ext=$(man3ext) \ |