From 7ed77ab1fd7387c3f5a02dd97808d515bd08796c Mon Sep 17 00:00:00 2001 From: "David E. O'Brien" Date: Mon, 29 Mar 1999 11:42:32 +0000 Subject: Delete the bash 1.17 port. It served us well as we transitioned to bash version 2. --- shells/bash1/files/patch-ad | 47 --------------------------------------------- 1 file changed, 47 deletions(-) delete mode 100644 shells/bash1/files/patch-ad (limited to 'shells/bash1/files/patch-ad') diff --git a/shells/bash1/files/patch-ad b/shells/bash1/files/patch-ad deleted file mode 100644 index 956d4d2ddbd0..000000000000 --- a/shells/bash1/files/patch-ad +++ /dev/null @@ -1,47 +0,0 @@ -*** documentation/Makefile.orig Mon Jun 12 03:45:55 1995 ---- documentation/Makefile Mon Jun 16 19:30:13 1997 -*************** -*** 49,55 **** - $(RM) $@ - ${NROFF} -man $< > $@ - -! all: ps info dvi text - - ps: bash.ps readline.ps article.ps - dvi: features.dvi features.ps ---- 49,55 ---- - $(RM) $@ - ${NROFF} -man $< > $@ - -! all: info # ps dvi text - - ps: bash.ps readline.ps article.ps - dvi: features.dvi features.ps -*************** -*** 90,101 **** - - installdirs: - -[ -d $(mandir) ] || mkdir $(mandir) -! -[ -d $(man3dir) ] || mkdir $(man3dir) - -[ -d $(infodir) ] || mkdir $(infodir) - - install: all installdirs - $(INSTALL_DATA) bash.1 $(mandir) -! $(INSTALL_DATA) readline.3 $(man3dir) - $(INSTALL_DATA) features.info $(infodir)/bash.info - - uninstall: ---- 90,102 ---- - - installdirs: - -[ -d $(mandir) ] || mkdir $(mandir) -! # -[ -d $(man3dir) ] || mkdir $(man3dir) - -[ -d $(infodir) ] || mkdir $(infodir) - - install: all installdirs - $(INSTALL_DATA) bash.1 $(mandir) -! $(INSTALL_DATA) builtins.1 $(mandir)/bash_builtins.1 -! # $(INSTALL_DATA) readline.3 $(man3dir) - $(INSTALL_DATA) features.info $(infodir)/bash.info - - uninstall: -- cgit v1.2.3