|
|
ed37ba9a09
|
Check whether something touches the filesystem
|
2024-10-06 00:23:19 +02:00 |
|
|
|
9170a7f044
|
Move pandoc execution out of IO
|
2024-10-06 00:03:11 +02:00 |
|
|
|
eb7848064a
|
Format wrapped strings more intuitively
|
2024-10-05 23:47:10 +02:00 |
|
|
|
152f988363
|
Force early evaluation
|
2024-10-05 23:42:40 +02:00 |
|
|
|
9c912d2457
|
Split ConvertImage into three steps
|
2024-10-05 23:37:54 +02:00 |
|
|
|
94c2fbfbc9
|
Refactor to be more nested
|
2024-10-05 22:51:13 +02:00 |
|
|
|
9311d51464
|
Provide better filter ergonomics for the common case
|
2024-10-05 21:57:04 +02:00 |
|
|
|
90a968ea7d
|
Go a more direct route with the recipes dirs
|
2024-10-05 20:35:34 +02:00 |
|
|
|
9240d66c15
|
Only use concat
|
2024-10-05 20:28:25 +02:00 |
|
|
|
d96af50943
|
Introduce ListToken and start using it for concat instead of append
|
2024-10-05 20:21:06 +02:00 |
|
|
|
c06bd28d9a
|
Fix accidental argument swap
|
2024-10-05 20:20:16 +02:00 |
|
|
|
7504c083a1
|
Refactor TupleToken building
|
2024-10-05 19:56:53 +02:00 |
|
|
|
a019cee656
|
Use fewer tuples internally
|
2024-10-05 19:44:28 +02:00 |
|
|
|
c1ce2185a5
|
Put images before recipe
|
2024-10-05 19:15:20 +02:00 |
|
|
|
7825f62fa2
|
Run pandoc on text instead of file
|
2024-10-05 18:16:34 +02:00 |
|
|
|
47420cbe41
|
Split template loading into multiple steps
|
2024-10-05 18:07:26 +02:00 |
|
|
|
1988beb49a
|
Generalize ReadTemplate
|
2024-10-05 17:59:52 +02:00 |
|
|
|
7801371534
|
Default to 3 decimals
|
2024-10-05 17:41:13 +02:00 |
|
|
|
84b189f722
|
Update gitignores
|
2024-10-05 17:39:42 +02:00 |
|
|
|
8c2f522bbf
|
Also copy fonts
Do some ugly shenanigans to make this work.
|
2024-10-05 17:35:47 +02:00 |
|
|
|
47d086c115
|
Also copy image files over
|
2024-10-05 15:58:55 +02:00 |
|
|
|
7e23b55513
|
Precompute more
|
2024-10-05 15:35:52 +02:00 |
|
|
|
556ded64a8
|
Also copy stylesheet
|
2024-09-30 23:40:53 +02:00 |
|
|
|
3d4c79cc83
|
Understøt HTML i Markdown-filer
|
2024-09-30 23:34:52 +02:00 |
|
|
|
f6c73cf906
|
Make generator run
|
2024-09-30 23:31:16 +02:00 |
|
|
|
abc05a6032
|
Debug running
|
2024-09-30 23:31:01 +02:00 |
|
|
|
8aaa056978
|
Add IsDirectory
|
2024-09-30 23:30:43 +02:00 |
|
|
|
da7ea65cf5
|
Implement functions
|
2024-09-28 13:57:53 +02:00 |
|
|
|
67447ac23b
|
Support running the dependency runner from the command line
Will fail currently
|
2024-09-27 21:18:29 +02:00 |
|
|
|
d3b32398b5
|
Implement DependencyRunner for MapComp
|
2024-09-27 21:13:16 +02:00 |
|
|
|
53e9598d22
|
Migrate *ListElem functionality into just MapComp
|
2024-09-27 20:58:18 +02:00 |
|
|
|
c53f804074
|
Start implementing DependencyRunner
|
2024-09-27 20:39:27 +02:00 |
|
|
|
b60336cf9f
|
Curry more
|
2024-09-26 23:40:26 +02:00 |
|
|
|
831ab700b9
|
Slightly remedy indentation
|
2024-09-26 23:13:28 +02:00 |
|
|
|
6c36a53ec9
|
Use Text for html
|
2024-09-26 23:02:29 +02:00 |
|
|
|
8ff8726abe
|
Add Text support
|
2024-09-26 22:48:20 +02:00 |
|
|
|
91e52aeb2a
|
Add Concat and implement img body html
|
2024-09-26 00:33:52 +02:00 |
|
|
|
bd6ede1df9
|
Use correct recipe-specific output dir
|
2024-09-26 00:09:48 +02:00 |
|
|
|
e770a350d6
|
Avoid extra untupling in this case for now
|
2024-09-26 00:06:30 +02:00 |
|
|
|
5d5dbbec74
|
Also copy original images
|
2024-09-26 00:02:51 +02:00 |
|
|
|
fa2e3c144a
|
Clean up paths
|
2024-09-25 23:51:33 +02:00 |
|
|
|
992edea3ee
|
Implement untupling and use more general append instead of ConvertedImageFilename
|
2024-09-25 23:32:49 +02:00 |
|
|
|
fe87351976
|
Only unzip what we use
|
2024-09-25 23:14:14 +02:00 |
|
|
|
51c7c1977f
|
Add stub for new function
|
2024-09-25 23:13:23 +02:00 |
|
|
|
c22fd7ddf0
|
Require simpler IsImageExtension
|
2024-09-25 23:12:32 +02:00 |
|
|
|
056c8d278b
|
Introduce unzipping and use it
|
2024-09-25 23:06:53 +02:00 |
|
|
|
5e73358df7
|
Don't make ids for empty output tokens
|
2024-09-25 22:12:38 +02:00 |
|
|
|
6ecb577402
|
Make the functions easier to call inline
|
2024-09-25 22:09:26 +02:00 |
|
|
|
ad83c8c941
|
Improve ergonomics
|
2024-09-25 19:48:45 +02:00 |
|
|
|
fd3e5f6986
|
De-duplicate code
|
2024-09-25 19:45:10 +02:00 |
|
