3 commits

Author	SHA1	Message	Date
Charlotte Van Petegem	4145ee53d7	Build tweaks	2023-10-26 11:57:33 +02:00
Charlotte Van Petegem	ef36710197	Make sure there is also a TOC in the HTML export	2023-10-26 11:27:55 +02:00
Charlotte Van Petegem	0a203a83c8	Diff build infra	2023-10-25 13:18:47 +02:00