Copy html to both dist html/ and dist root.
Authored by: ekarlo 2003-04-15
Parent: [r453]
Child: [r455]
