diff options
Diffstat (limited to 'share/doc')
| -rw-r--r-- | share/doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/doc/Makefile b/share/doc/Makefile index fecff0c0f6d7..145d33416bc7 100644 --- a/share/doc/Makefile +++ b/share/doc/Makefile @@ -1,5 +1,5 @@ # From: @(#)Makefile 8.1 (Berkeley) 6/5/93 -# $Id: Makefile,v 1.2 1995/01/11 04:29:38 wollman Exp $ +# $Id: Makefile,v 1.3 1995/01/14 09:48:14 bde Exp $ SUBDIR= psd smm usd papers @@ -12,7 +12,7 @@ all-ascii: @${MAKE} ${MAKEFLAGS} PRINTER=ascii ${SUBDIR} all: all-ps all-ascii - + install-ps: @${ECHO} ====\> Installing PostScript documents @${MAKE} ${MAKEFLAGS} PRINTER=ps realinstall |