Use lower-case names for the HTML files generated by DDOX.
Merge pull request #579 from s-ludwig/master

Use lower-case names for the HTML files generated by DDOX.