the docs packages has no html files under the html dir but a themes subdir
Authored by: bcornec 2007-10-18
Parent: [r703]
Child: [r705]
