Update mkdocs, remove Python script from Soar manual PDF version, add mkdocs glossary

SoarGroup / SoarGroup.github.io

Soar's website: documentation, news, announcements, links, etc.

http://soar.eecs.umich.edu/

Other

7 stars 3 forks source link

Update mkdocs, remove Python script from Soar manual PDF version, add mkdocs glossary #8

Closed moschmdt closed 6 months ago

moschmdt commented 6 months ago

Updated mkdocs Material to 9.5.* to use automatic light/dark toggle
Use abbreviations function (global glossary) of mkdocs since it does not interfere with the Markdown used to generate PDFs. This is just a quality of life addition.
Fix a bug where the a Python script is included in the Soar manual (PDF Version)

garfieldnate commented 6 months ago

Wonderful, thank you!

Tcl is pronounced "tickle", and this is the generally-known name of the language, but I think the definition is still helpful since it indicates at least that Tcl is a programming language.