Charlotte Van Petegem
|
a05d11d637
|
Switch to minted for listings
|
2023-12-08 10:34:41 +01:00 |
|
Charlotte Van Petegem
|
510a9922f7
|
Fix automated build script
|
2023-12-05 09:32:47 +01:00 |
|
Charlotte Van Petegem
|
5c99c4954b
|
Fix smart quotes with lang set to en-gb
|
2023-12-05 09:20:19 +01:00 |
|
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 |
|