Commit Graph

15 Commits

Author SHA1 Message Date
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
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