Created attachment 152159 [details]
run doxygen doxygen.cfg in the extracted directory

Hello,

When SHORT_NAMES is set to yes, doxygen generates HTML and index pages that point to short-named files (such as a00001.html and a00001.tex). However, if you use

  \page pagename My title

in your doc, doxygen does not use a short-name when creating the corresponding tex and html files. It generates <pagename>.{html,tex} instead of a00001.{html,tex}. So we get a broken link in HTML and the Tex build fails to include the additional \page text.

I found the problem in the hwloc directory and created a small tarball to reproduce the bug. Just extract the tarball and run doxygen doxygen.cfg in the new directory. You'll see that it generates doxygen-doc/html/bar.html while pages.html points to a00001.html. Similarly, doxygen-doc/latex/refman.tex contains \include{a00001} while bar.tex was generated.

I am using 1.6.2-1 from Debian.

Brice