gazebosim / docs

High-level Gazebo documentation that gets published to https://gazebosim.org/docs/
https://gazebosim.org/docs
44 stars 81 forks source link

Fix issue with garbled text in generated documentation #388

Closed azeey closed 9 months ago

azeey commented 9 months ago

🦟 Bug fix

Fixes https://github.com/gazebosim/gazebo_test_cases/issues/186

Summary

The version of doxygen in Jammy has a bug that generates garbled characters when processing xml comment code blocks in markdown. In this PR, we build doxygen 1.9.2 from source here since the problem appears to be fixed in that version.

Checklist

Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining Signed-off-by messages.