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

Multiple improvements to the documentation generation #159

Merged
merged 4 commits into from
Nov 7, 2024

Conversation

qdeslandes
Copy link
Contributor

Few changes to the documentation generation:

  • Make the Doxygen XML generation target depend on the generated Doxyfile.in.
  • Prevent Sphinx from using its cache when generating the documentation: if the cache is used, Sphinx won't regen the documentation when the Doxygen XML files have changed.
  • Make Doxygen automatically generate links to documented symbols, as Breathe doesn't support @ref function. Update the documentation to reflect this change.

Add $BUILD/doc/Doxyfile (the Doxygen config file override created from
doc/Doxyfile.in) as a dependency of the Doxygen XML generation. This
change will ensure Doxygen is run again if its configuration has
changed.
Sphinx uses a cache to make the generation faster. However, if a change
is made to the source code documentation (e.g. in a comment), Sphinx
won't detect it and won't rebuild the documentation.

Prevent Sphinx from using its cache to prevent out-of-date
documentation.
Breathe doesn't recognize Doxygen's `@ref` annotations, meaning every
`@ref` symbol is ignored and no hyperlink is created in the
documentation.

Instead, enable Doxygen's autolink feature so `symbol()` can be used to
link to a symbol in the documentation.
Modify the Doxygen comments guidelines to ensure references to functions
are properly processed by Breathe: use ` (backticks) instead of @ref or
@c and end functions with parentheses.
@qdeslandes qdeslandes merged commit 1ba49fc into facebook:main Nov 7, 2024
11 checks passed
@qdeslandes qdeslandes deleted the improv_doc branch November 7, 2024 11:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants