Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Using "doxygen.css" for HTML_EXTRA_STYLESHEET fails silently (Origin: bugzilla #739462) #5671

doxygen opened this Issue Jul 2, 2018 · 0 comments


None yet
1 participant
Copy link

doxygen commented Jul 2, 2018

status RESOLVED severity normal in component build for ---
Reported in version 1.8.8 on platform Other
Assigned to: Dimitri van Heesch

On 2014-10-31 18:28:32 +0000, wrote:

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 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.

On 2014-12-23 15:09:40 +0000, Dimitri van Heesch wrote:

Confirmed. I'll add a warning.

On 2014-12-25 16:03:37 +0000, Dimitri van Heesch wrote:

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).

@doxygen doxygen closed this Jul 2, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.