Wen Kokke
|
78108f5750
|
Minor refactoring.
|
2021-08-25 13:17:15 +01:00 |
|
Wen Kokke
|
a9f85c9ab1
|
EPUB and PDF now more-or-less work
|
2021-08-24 22:41:18 +01:00 |
|
Wen Kokke
|
e8df980d4b
|
Fixed PDF generate to use toc.metadata.
|
2021-08-24 15:00:50 +01:00 |
|
Wen Kokke
|
2987995c7a
|
WIP rewrite of book rendering.
|
2021-08-24 01:01:23 +01:00 |
|
Wen Kokke
|
9776956c5e
|
Added URL filter which removes 'index.html'.
|
2020-10-28 12:17:56 +01:00 |
|
Wen Kokke
|
e33b5fc952
|
Fixed Markdown version in README, fixed typo in Hakyll.Web.Agda.
|
2020-10-24 17:22:41 +02:00 |
|
Wen Kokke
|
66ae436dc1
|
Updated Agda version, added caching back in.
|
2020-10-24 17:19:11 +02:00 |
|
Wen Kokke
|
3d4c9f7a1d
|
Fixed rendering errors.
|
2020-10-23 11:21:02 +02:00 |
|
Wen Kokke
|
2c82ce21da
|
Switch to Hakyll as the build system for PLFA (#540)
|
2020-10-23 08:45:49 +02:00 |
|