diff options
-rw-r--r-- | textproc/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/textproc/Makefile b/textproc/Makefile index 5e4c42f4eb07..054fa6830327 100644 --- a/textproc/Makefile +++ b/textproc/Makefile @@ -1,13 +1,15 @@ -# $Id: Makefile,v 1.4 1997/05/30 20:13:39 jfitz Exp $ +# $Id: Makefile,v 1.5 1997/06/22 21:11:27 jfieber Exp $ # SUBDIR += agrep SUBDIR += docbook SUBDIR += glimpse SUBDIR += isearch + SUBDIR += iso12083 SUBDIR += iso8879 SUBDIR += ispell SUBDIR += jade + SUBDIR += linuxdoc SUBDIR += mgdiff SUBDIR += pilot_makedoc SUBDIR += rman |