diff options
Diffstat (limited to 'shells/bash1/files/patch-ad')
| -rw-r--r-- | shells/bash1/files/patch-ad | 47 |
1 files changed, 0 insertions, 47 deletions
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: |