5 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
Charlotte Van Petegem	eff3bb193e	Incorporate pass/fail article	2023-10-23 17:35:12 +02:00
Charlotte Van Petegem	a04ae3801b	Setup main document	2023-10-23 14:59:00 +02:00