doxygen 1.9.8 build failure on page_home\copydetails about dynamorio HOT 3 CLOSED

I have a further error on my Mac, though it's the same 1.9.8 doxygen:

CMake Error at api/docs/CMake_rundoxygen.cmake:338 (message):
  Cannot find "page_user_docs" menu file

Indeed, there aren't any page_*.js files generated! Yet on another Linux machine with 1.9.8 those are there.

from dynamorio.

git blame points to this as the purpose of that part of the CMake code massaging the menu to have the order we want on dynamorio.org: "Moves DynamoRIO Extensions from API Reference into User Docs by moving from navtreedata.js to page_user_docs.js."

from dynamorio.

I believe all pieces here are now fixed. The docs now build on my Mac and Linux machines.

from dynamorio.