The validate target in the website sources Makefile is broken

I'm not sure what's going on, but my guess is that the `find' command that generates "HTML_FILES" is broken. Sorry, I don't have time to get it right. "GENERATED_HTML_FILES" seems to be OK in light testing, though, so substituting validate-time-stamp: $(GENERATED_HTML_FILES) for validate-time-stamp: $(HTML_FILES) seems to do the right thing, unless you have edited a non-generated HTML file directly. Probably only Adrian has need to do that, though. -- School of Systems and Information Engineering http://turnbull.sk.tsukuba.ac.jp University of Tsukuba Tennodai 1-1-1 Tsukuba 305-8573 JAPAN Ask not how you can "do" free software business; ask what your business can "do for" free software.