diff options
| -rw-r--r-- | share/doc/Makefile | 27 |
1 files changed, 24 insertions, 3 deletions
diff --git a/share/doc/Makefile b/share/doc/Makefile index a0e5bb60b1c9..644118432af1 100644 --- a/share/doc/Makefile +++ b/share/doc/Makefile @@ -1,7 +1,28 @@ -# @(#)Makefile 8.1 (Berkeley) 6/5/93 +# From: @(#)Makefile 8.1 (Berkeley) 6/5/93 +# $Id$ -SUBDIR= psd smm usd +SUBDIR= psd smm usd papers -all depend lint tags: +all-ps: + @echo ====\> Making PostScript documents + @${MAKE} ${MAKEFLAGS} PRINTER=ps ${SUBDIR} + +all-ascii: + @echo ====\> Making ASCII documents + @${MAKE} ${MAKEFLAGS} PRINTER=ascii ${SUBDIR} + +all: all-ps all-ascii + +install-ps: + @echo ====\> Installing PostScript documents + @${MAKE} ${MAKEFLAGS} PRINTER=ps realinstall + +install-ascii: + @echo ====\> Installing ASCII documents + @${MAKE} ${MAKEFLAGS} PRINTER=ascii realinstall + +install: install-ps install-ascii + +realinstall: _SUBDIRUSE .include <bsd.subdir.mk> |