mozilla/dxr — pull request #27 by garnacho (2012-05-08 09:51:17+00:00)
Title: Page titles

Set title on generated HTML files,
https://bugzilla.mozilla.org/show_bug.cgi?id=750726