Skip to content

Doc: extract documentation from all headers #467

Merged
athre0z merged 2 commits intomasterfrom
fix-doc-for-generated-files
Dec 9, 2023
Merged

Doc: extract documentation from all headers #467
athre0z merged 2 commits intomasterfrom
fix-doc-for-generated-files

Conversation

@athre0z
Copy link
Copy Markdown
Member

@athre0z athre0z commented Dec 9, 2023

We previously went with explicitly adding @file directives to our headers instead of using EXTRACT_ALL because the latter was broken with the m.css theme that we were using previously. m.css has a custom code generator that didn't support the directive. We've since switched to another theme that just re-styles the vanilla HTML, so we're fine to just use that now (instead of changing the code-gen to add the directives in all generated headers).

Also: update Doxygen CSS theme to latest.

Resolves #465

We previously went with explicitly adding `@file` directives to our
headers instead of using `EXTRACT_ALL` because the latter was broken
with the m.css theme that we were using previously. m.css has a custom
code generator that didn't support the directive. We've since switched
to another theme that just re-styles the vanilla HTML, so we're fine
to just use that now (instead of changing the code-gen to add the
directives in all generated headers).
@athre0z athre0z added C-bug Category: This is a bug (or a fix for a bug, when applied to PRs) A-doc Area: Documentation labels Dec 9, 2023
@athre0z athre0z requested a review from flobernd December 9, 2023 15:18
Copy link
Copy Markdown
Member

@flobernd flobernd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@athre0z athre0z merged commit ba1e3cf into master Dec 9, 2023
@athre0z athre0z deleted the fix-doc-for-generated-files branch December 9, 2023 16:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-doc Area: Documentation C-bug Category: This is a bug (or a fix for a bug, when applied to PRs)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Missing enum definitions in Documentation

2 participants