Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Better result, when clicking on "Previous" in index.html: there is
now a full table of contents. The page index_TOC.html is kind of hidden, though: it does not appear in the "Global Table of Contents" (and therefore not in the top navigation bar). This is good, but I would prefer "previous" to not exist in index.html.
- Loading branch information