Open
Description
factor out stuff and generate both html and tex for
- https://github.com/lunduniversity/introprog/blob/master/web/tools/tools.md
- https://github.com/lunduniversity/introprog/tree/master/compendium/postchapters
Could be a lot of work so this will have to wait until after the current course instance...