torbenb
committed
on 16 Feb 05
making fix here in addition to the xml, in case the html is not regenerated before the 5.1.5 release