diff options
Diffstat (limited to 'tools/Makefile.in')
| -rw-r--r-- | tools/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/Makefile.in b/tools/Makefile.in index f4a34ef..3a3feec 100644 --- a/tools/Makefile.in +++ b/tools/Makefile.in @@ -6,7 +6,7 @@ # # HTML: 1. Build the html target on Unix -# RCS: @(#) $Id: Makefile.in,v 1.5 1998/09/14 18:40:15 stanton Exp $ +# RCS: @(#) $Id: Makefile.in,v 1.6 1999/02/05 03:12:50 stanton Exp $ #TCL = tcl@TCL_VERSION@@TCL_PATCH_LEVEL@ #TK = tk@TCL_VERSION@@TCL_PATCH_LEVEL@ @@ -42,7 +42,7 @@ CC=@CC@ all: core pro: - $(MAKE) PRODOCS="$(PRODOCS)" VER="" rtf + $(MAKE) DOCS="$(PRODOCS)" VER="" rtf core: $(MAKE) DOCS="$(COREDOCS)" rtf |