Misc Documentation updates - #355

Merged

ppinchuk merged 9 commits into

mainfrom

Dec 4, 2025

Commits on Dec 1, 2025

Update command name
ppinchuk
committed
9270605
More flexible makefile
ppinchuk
committed
20530d9
Command now clean builds docs
ppinchuk
committed
39a5622
Add glossary
ppinchuk
committed
4f453ef
Add links
ppinchuk
committed
b0e2e3b
Update a few deps
ppinchuk
committed
fcc529b
PR review updates
ppinchuk
committed
9dee2a1

Commits on Dec 4, 2025

Merge remote-tracking branch 'origin/main' into pp/misc
ppinchuk
committed
76b68a4
Update lockfile
ppinchuk
committed
8587137