[Cdash] doxygen -> documentation

[Yngve Inntjore Levinsen]

Hi,

A minor thing about the naming which I have wondered about. In the
drop-down menu under "Project" when you are on the project page, shows
links to "Home", "Doxygen", "Repository", and "Bug Tracker". I was
wondering if it would make sense to change the name "Doxygen" to the
more generic "Documentation"? I would imagine not everyone uses Doxygen
to generate the documentation pages, all though it is quite a convenient
tool.

Cheers,
Yngve