I've figured out by now that the problem can be solved without modifying the general HTML output, by substituting colons within anchor names in the index.hhk with "%3A".

I'll submit a corresponding pull request within the next few hours.

On 2016-05-16 10:43:00 +0000, Dimitri van Heesch wrote:

Thanks, I've merged the pull request

On 2016-09-05 13:45:38 +0000, Dimitri van Heesch wrote:

This bug was previously marked ASSIGNED, which means it should be fixed in
doxygen version 1.8.12. Please verify if this is indeed the case. Reopen the
bug if you think it is not fixed and please include any additional information
that you think can be relevant (preferably in the form of a self-contained example).