GNOME Bugzilla – Bug 739462
Using "doxygen.css" for HTML_EXTRA_STYLESHEET fails silently
Last modified: 2014-12-25 16:03:37 UTC
When using "doxygen.css" (or Doxygen on non-case-sensitive filesystems) as filename to the extra stylesheet, the extra stylesheet will not work because Doxygen uses this filename already and overwrites the copy of the extra stylesheet. Two identical <link rel="stylesheet"> are being inserted in the header, indicating that no check is performed. It would be cool to either have a warning or better yet have doxygen rename the stylesheet to avoid the name collision.
Confirmed. I'll add a warning.
This bug was previously marked ASSIGNED, which means it should be fixed in doxygen version 1.8.9. 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 (preferrably in the form of a self-contained example).