Charlotte Van Petegem
|
d023e77c37
|
Fix generation of toc label
|
2023-11-16 10:50:44 +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 |
|
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 |
|