aboutsummaryrefslogtreecommitdiff
path: root/shells/bash1/files/patch-ad
diff options
context:
space:
mode:
Diffstat (limited to 'shells/bash1/files/patch-ad')
-rw-r--r--shells/bash1/files/patch-ad21
1 files changed, 19 insertions, 2 deletions
diff --git a/shells/bash1/files/patch-ad b/shells/bash1/files/patch-ad
index 6b3bc222890b..956d4d2ddbd0 100644
--- a/shells/bash1/files/patch-ad
+++ b/shells/bash1/files/patch-ad
@@ -1,5 +1,22 @@
-*** documentation/Makefile.orig Sun Jun 11 22:45:55 1995
---- documentation/Makefile Wed Jul 19 20:35:38 1995
+*** 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 ****