diff options
Diffstat (limited to 'make.include')
-rw-r--r-- | make.include | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make.include b/make.include index e27eb9d..3863833 100644 --- a/make.include +++ b/make.include @@ -195,9 +195,11 @@ tkcon : #-------------------------- tkhtml1 # no parallel +# make sure htmltokens.c does not get regenerated (windows) tkhtml1 : tkhtml1/Makefile @echo "" @echo "*** Install tkhtml1 ***" + touch tkhtml1/src/htmltokens.c $(MAKE) -C tkhtml1 install tkhtml1/Makefile : |