diff options
author | William Joye <wjoye@cfa.harvard.edu> | 2016-12-23 21:32:37 (GMT) |
---|---|---|
committer | William Joye <wjoye@cfa.harvard.edu> | 2016-12-23 21:32:37 (GMT) |
commit | 144ed9e442afecfc0ab33261fe8fd81d1fc4576c (patch) | |
tree | 0e1daef36749b6c1d8d5685d3394b6c6c7fcc20f /make.include | |
parent | 553448ee1d8697ddfff28f6e902339d1b6539812 (diff) | |
download | blt-144ed9e442afecfc0ab33261fe8fd81d1fc4576c.zip blt-144ed9e442afecfc0ab33261fe8fd81d1fc4576c.tar.gz blt-144ed9e442afecfc0ab33261fe8fd81d1fc4576c.tar.bz2 |
make sure htmltokens.c does not get regenerated
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 : |