Add a page on the wiki with the list of current subjects, chapters and sections in the OPL, and write a script to automatically synchronize this with the file OpenProblemLibrary/Taxonomy2. Alternatively it would be simpler to add a link in the wiki directly to the taxonomy file in GitHub.
Add a page on the wiki with the list of current subjects, chapters and sections in the OPL, and write a script to automatically synchronize this with the file OpenProblemLibrary/Taxonomy2. Alternatively it would be simpler to add a link in the wiki directly to the taxonomy file in GitHub.