Reorders the doxygen pages to merge the web content with the API documentation.
Adds new doxygen documentation pages for the following web and wiki content:
- Home
- History
- Download
- Releases
- Weekly Builds
- Slides
- Source Code
- User Documentation
- Tutorials
- CGO 2017
- SecDev 2016
- CGO 2016
- Developer Documentation
- Publications
Changes the javascript menu editing to make the doxygen menu the top-level menu, rather than embedded inside a menu coming from the web sources. Tweaks the menu to get the layout we want, with the API references grouped at a lower level.
Uses an alphabetically-early new page aaa.dox to control the ordering of top-level pages. Hides the subpage organization items on the new home page since we just want the grouping and not visible links.
Moves DynamoRIO Extensions from API Reference into User Docs by moving from navtreedata.js to page_user_docs.js.
Moves DynamoRIO Tools to a top-level entry Available Tools.
Adds a top-level Developer Documentation section; populating it initially with a Publications page moved from the web site. Later it will contain much of the wiki content.
Adds a top-level Obtaining Help entry, initially containing that section from the doxygen docs. Future work will integrate the wiki debugging information here.
Issue: #4111