Work-around doxygen bug when generating short-n...
Work-around doxygen bug when generating short-n...

Work-around doxygen bug when generating short-names for \page sections.
See https://bugzilla.gnome.org/show_bug.cgi?id=607946

Until it's fixed, manually rename html/tex files into their expected
short-names so that html links and latex includes are ok.

This commit was SVN r1659.

ggouaillardet/hwloc,ggouaillardet/hwloc,shekkbuilder/hwloc,shekkbuilder/hwloc,shekkbuilder/hwloc,ggouaillardet/hwloc,shekkbuilder/hwloc,ggouaillardet/hwloc