rebuild mkws-complete.js if the Makefile changed
authorWolfram Schneider <wosch@indexdata.dk>
Tue, 17 Dec 2013 12:33:44 +0000 (12:33 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Tue, 17 Dec 2013 12:33:44 +0000 (12:33 +0000)
commit497d57bb4b4361289eb7688b8bc4115791c03daa
tree229b4cb4b3d284070d0256d6d5ae915119ae7b60
parent9a8d2d32dbcc26da7e7a3054ff9801d22ccba51c
rebuild mkws-complete.js if the Makefile changed
tools/htdocs/Makefile