DynamoRIO / dynamorio

Dynamic Instrumentation Tool Platform
Other
2.63k stars 557 forks source link

i#6681: Fix Doxygen file generation for GitHub pages. #6724

Closed brettcoon closed 6 months ago

brettcoon commented 6 months ago

Doxygen 1.9.8 changed the way javascript menu files are generated, by inlining much of the menu hierarchy that was previously written to a separate file per page.

Updates cmake rules to handle the new javascript. Also removes extra curly braces from a doxygen page that were inadvertently triggering GitHub's Liquid template expansion and removing the intended text.

This fix was verified by building the embedded doxygen files, copying them to a local dynamorio.github.io workspace, running a Jekyll server to host the pages, and comparing the local site vs. the online dynamorio.org pages.

Issue: #6681