Glenn Y. Rolland b50a639d9d chore: Remove script/docmachine* scripts now we have real tools		2023-04-06 20:22:22 +02:00
..
build-syllabus	Improve build-syllabus script	2020-11-09 10:04:40 +01:00
docs-from-slides	Add two-way scripts for slides & docs	2021-03-09 08:57:59 +01:00
slides-from-csv	Move bin/ to scripts/	2020-04-19 11:38:32 +02:00
slides-from-docs	Add two-way scripts for slides & docs	2021-03-09 08:57:59 +01:00
update-toc	fix: Make sure watch works for tocupdate target	2021-06-27 23:45:49 +02:00