diff options
| -rw-r--r-- | shells/bash1/files/patch-ad | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/shells/bash1/files/patch-ad b/shells/bash1/files/patch-ad index b13158b75001..6b3bc222890b 100644 --- a/shells/bash1/files/patch-ad +++ b/shells/bash1/files/patch-ad @@ -14,7 +14,7 @@ $(INSTALL_DATA) features.info $(infodir)/bash.info uninstall: ---- 90,101 ---- +--- 90,102 ---- installdirs: -[ -d $(mandir) ] || mkdir $(mandir) @@ -23,6 +23,7 @@ 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 |