K 10
svn:author
V 5
simon
K 8
svn:date
V 27
2004-11-05T12:47:07.000000Z
K 7
svn:log
V 365
Force NO_TIDY for the ports web pages, since it takes a long time to
run tidy on these huge HTML files, and the files are valid HTML when
generated by portindex, even without tidy.

Running without tidy caused the build time to go from ~8 minutes to ~1
minute on my test machine.  An additional bonus is that the generated
HTML files are now significantly smaller.

END
