diff options
| author | max <max@FreeBSD.org> | 1997-06-16 18:42:18 +0800 |
|---|---|---|
| committer | max <max@FreeBSD.org> | 1997-06-16 18:42:18 +0800 |
| commit | 7fee612428aec83050405aa11d370b54004bd7f2 (patch) | |
| tree | aa4a6bb4b5f540f8867da5432424f7738f95dc64 /shells | |
| parent | ff86d4cc411ee55219716e4a88010e58d81574e5 (diff) | |
| download | freebsd-ports-gnome-7fee612428aec83050405aa11d370b54004bd7f2.tar.gz freebsd-ports-gnome-7fee612428aec83050405aa11d370b54004bd7f2.tar.zst freebsd-ports-gnome-7fee612428aec83050405aa11d370b54004bd7f2.zip | |
In documentation subdirectory, let ``make all'' build only the info
files.
Diffstat (limited to 'shells')
| -rw-r--r-- | shells/bash1/files/patch-ad | 21 |
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 **** |