diff options
Diffstat (limited to 'shells/bash1/files/patch-ad')
| -rw-r--r-- | shells/bash1/files/patch-ad | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/shells/bash1/files/patch-ad b/shells/bash1/files/patch-ad new file mode 100644 index 000000000000..6c0a3513001c --- /dev/null +++ b/shells/bash1/files/patch-ad @@ -0,0 +1,21 @@ +*** documentation/Makefile.bak Thu Jul 14 20:12:59 1994 +--- documentation/Makefile Mon Dec 12 04:57:07 1994 +*************** +*** 109,116 **** + [ -d $(mandir) ] || mkdir $(mandir) + $(INSTALL_DATA) bash.1 $(mandir) + sed 's:so bash.1:so man1/bash.1:' < builtins.1 > $(mandir)/bash_builtins.1 +! [ -d $(man3dir) ] || mkdir $(man3dir) +! $(INSTALL_DATA) readline.3 $(man3dir) + [ -d $(infodir) ] || mkdir $(infodir) + $(INSTALL_DATA) features.info $(infodir)/bash.info + +--- 109,116 ---- + [ -d $(mandir) ] || mkdir $(mandir) + $(INSTALL_DATA) bash.1 $(mandir) + sed 's:so bash.1:so man1/bash.1:' < builtins.1 > $(mandir)/bash_builtins.1 +! # [ -d $(man3dir) ] || mkdir $(man3dir) +! # $(INSTALL_DATA) readline.3 $(man3dir) + [ -d $(infodir) ] || mkdir $(infodir) + $(INSTALL_DATA) features.info $(infodir)/bash.info + |