5 commits

Author	SHA1	Message	Date
Charlotte Van Petegem	4d53e95fea	Don't specify font size, I'm using the default anyway	2023-11-21 15:00:05 +01:00
Charlotte Van Petegem	a409a57732	Fix TOC label in build.el	2023-11-21 13:40:17 +01:00
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