|
|
0962df69ad
|
Factor out building Agda HTML from building the blog
This saves a lot of time since typechecking Agda is slow.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-24 20:33:34 +00:00 |
|
|
|
2a86640401
|
Use duktape to run KaTeX from ruby with Node
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-24 04:23:25 +00:00 |
|
|
|
ee116b138f
|
Add building and linking Agda as build step
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-23 07:37:52 +00:00 |
|
|
|
9ea42f306b
|
Udjust for blog no longer requiring a generated config file
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2024-05-16 23:08:27 +00:00 |
|
|
|
76e8f1c998
|
Replace katex-expression with katex as in web-files
|
2023-12-31 03:50:32 +00:00 |
|
|
|
782c9ed45a
|
Include resume in build
|
2023-12-30 23:09:44 +00:00 |
|
|
|
1216263fd8
|
Patch in more static files from web-files.
|
2023-12-30 22:54:10 +00:00 |
|
|
|
aebf198ca8
|
Bundle files from web-files at build time.
|
2023-11-30 07:09:28 +00:00 |
|
|
|
d44e5fc12f
|
Update blog and resume code
|
2023-02-20 06:57:07 +00:00 |
|
|
|
d065ca364e
|
Build resume using nix derivation
|
2023-02-20 05:49:59 +00:00 |
|
|
|
85373a73b0
|
Adjust builder for the removal of the graph static directory
|
2023-01-01 21:34:07 +00:00 |
|
|
|
e7615c4947
|
Generate static files as part of the build process
|
2022-12-30 15:42:32 -08:00 |
|
|
|
1c0c7355c1
|
Use Nix function to perform replacement
|
2022-05-01 20:12:41 +00:00 |
|
|
|
982ef99a2f
|
Remove unused scripts
|
2022-03-27 18:48:06 -07:00 |
|
|
|
ac1eec35ec
|
Extract KaTeX handling into a program
|
2022-03-27 18:47:07 -07:00 |
|
|
|
304fcaed10
|
Move build scripts into their own folder
|
2021-10-21 22:39:25 -07:00 |
|
