Update Doxyfiles for the new file names. #219

Closed chrispbradley closed 9 years ago