#review-1029519
Change the way that the TOC is generated for the HTML presentation:
- no longer include the TOC in each generated HTML page.
- generate a JSON file representing the TOC.
- add javascript to read the TOC in JSON format, and generate the
appropriate HTML.
- Remove the noscript block that prevents using the documentation
with javascript disabled; just hide the search button because you
can't use search without javascript.