The former was my intention because doxygen generates eleventy million HTML files; on the other hand, that's currently the only documentation this package provides. If it was under active development rather than a commit every few months I'd say there'd be a clear advantage to this option, but on the gripping hand, it's more likely that doxygen will be the only docs and putting in ```html``` rather than ```html/*``` is redundant, so there's certainly a good case to go the other way.