summaryrefslogtreecommitdiff
path: root/shells
diff options
context:
space:
mode:
authorMasafumi Max NAKANE <max@FreeBSD.org>1997-06-16 10:42:18 +0000
committerMasafumi Max NAKANE <max@FreeBSD.org>1997-06-16 10:42:18 +0000
commit3ffd020bff8351075e1db14de46e351f2b06002c (patch)
tree29db5ad36239017e21ed30489324d21245733cfd /shells
parentPatch up the texinfo file and add @dircategory and @direntry. (diff)
In documentation subdirectory, let ``make all'' build only the info
files.
Notes
Notes: svn path=/head/; revision=6962
Diffstat (limited to 'shells')
-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 ****