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 6034fe9..5e9f88e 100644 --- a/tools/Makefile.in +++ b/tools/Makefile.in @@ -32,9 +32,9 @@ ITCL_DOCS = \ # $(ITCL_SOURCE)/iwidgets3.0.0/doc/*.[13n] -COREDOCS = $(TCL_DOCS) $(TK_DOCS) +COREDOCS = $(TCL_DOCS) $(TK_DOCS) #PRODOCS = $(COREDOCS) $(PRO_DOCS) $(ITCL_DOCS) -PRODOCS = $(COREDOCS) $(PRO_DOCS) +PRODOCS = $(COREDOCS) $(PRO_DOCS) TCLSH = $(TCL_BIN_DIR)/tclsh CC = @CC@ |