Wen Kokke
9691c05909
Fixed Agda errors; fixed css errors which resulted in the incorrect font being used.
2021-07-14 16:50:36 +01:00
Wen Kokke
577fb8241f
Fixed deploy to AFS.
2020-11-25 14:09:26 +01:00
Wen Kokke
39c3de6a99
Added highly niche task for publishing to inf.ed.ac.uk.
2020-10-28 11:49:38 +01:00
Wen Kokke
1225be30e2
Added git init to Makefile.
2020-10-27 11:51:24 +01:00
Wen Kokke
0f7937f856
Removed clean from publish.
2020-10-24 17:15:37 +02:00
Wen Kokke
0441f97d8c
Fixed citation page. Added announcement. Removed old build files.
2020-10-23 14:51:10 +02:00
Wen Kokke
9affc42409
Added names in social, updated Makefile to checkout standard-library automatically.
2020-10-23 13:09:39 +02:00
Wen Kokke
09a2ccd5e2
Exclude .nojekyll.
2020-10-23 12:24:54 +02:00
Wen Kokke
5e0f54eb74
Added command for publishing PLFA.
2020-10-23 11:35:48 +02:00
Wen Kokke
2c82ce21da
Switch to Hakyll as the build system for PLFA ( #540 )
2020-10-23 08:45:49 +02:00
Wen Kokke
b5d69ff010
Moved Git hooks to the .githooks directory, and created make init script.
2020-08-19 22:13:39 +02:00
Wen Kokke
ada0f50e5d
Announce migration to 2.6.1.
2020-07-20 17:16:01 +01:00
Wen Kokke
ad0da807b4
Fix Makefile
2020-07-19 21:57:45 +01:00
Wen Kokke
0660bcc442
Updated .travis.yml, GHC version.
2020-07-19 21:33:25 +01:00
Wen Kokke
e2df0393f2
Move travis_retry to .travis.yml
2020-07-19 19:55:49 +01:00
Wen Kokke
3ba6a0508d
Fix Makefile.
2020-07-15 17:12:42 +01:00
Wen Kokke
26ad191b9b
Fix Makefile
2020-07-15 16:26:21 +01:00
Wen Kokke
56613e9d5e
Fix Makefile.
2020-07-15 16:19:38 +01:00
Wen Kokke
bfc0b7f598
Fixed Makefile; fixed historical Source links.
2020-07-15 16:03:26 +01:00
Wen Kokke
d4c89dfeec
Fix versions
2020-07-14 19:22:17 +01:00
Wen Kokke
d8caea8b69
Fix EPUB; move cached releases to .versions.
2020-07-14 18:59:27 +01:00
Wen Kokke
fb20064605
Adopted CalVer
2020-07-14 18:25:13 +01:00
Wen Kokke
033e0db57a
Minor comment.
2020-07-14 18:05:18 +01:00
Wen Kokke
893b220c02
Rename stable to latest.
2020-07-14 18:03:28 +01:00
Wen Kokke
ccda5c009e
Generate stable version.
2020-07-14 16:20:03 +01:00
Wen Kokke
edce229b79
Fix Makefile.
2020-07-14 16:05:46 +01:00
Wen Kokke
1179e4b0d3
Added 2019 release.
2020-07-14 15:49:25 +01:00
Wen Kokke
db05328d15
Build historical versions.
...
(cherry picked from commit ff45bc230744498b5f5f5a20f41e9e7b8f936de2)
2020-07-14 15:16:30 +01:00
Wen Kokke
bce8bb3d89
Forgotten exec.
2020-07-02 22:22:13 +01:00
Wen Kokke
0b63dd967a
Most hilarious ruby command ever.
2020-07-02 22:08:27 +01:00
Wen Kokke
615cdfe245
Adding 'liquid' as a dependency.
2020-07-02 21:54:08 +01:00
Wen Kokke
45f40d0d8d
Fixed Makefile, added epubtest.
2020-07-02 21:39:29 +01:00
Wen Kokke
3c0394b8a0
Rewrote render-liquid-template in Ruby
2020-07-02 21:35:20 +01:00
Wen Kokke
d9249935c0
Fix problem in Makefile
2020-07-02 20:11:43 +01:00
Wen Kokke
69b89e8d1f
Moving things to .travis.yaml
2020-07-02 20:10:16 +01:00
Wen Kokke
660e558299
Major changes to Makefile
2020-07-02 19:53:24 +01:00
Wen Kokke
871052e49b
Full path to Lua
2020-07-02 19:33:20 +01:00
Wen Kokke
968676147a
Specify lua-dir.
2020-07-02 19:31:55 +01:00
Wen Kokke
b76a105cce
Check luarocks version. Specify lua version on rocks install.
2020-07-02 19:29:52 +01:00
Wen Kokke
06205deaa7
Update Lua config
2020-07-02 19:18:06 +01:00
Wen Kokke
840d93deef
Install Lua 5.3
2020-07-02 19:12:58 +01:00
Wen Kokke
f510d870ff
Debugging travis build.
2020-07-02 16:19:57 +01:00
Wen Kokke
8f0b55b4ae
Minor fix.
2020-07-02 16:15:54 +01:00
Wen Kokke
cfec58a2ba
Install lua packages locally
2020-07-02 16:09:36 +01:00
Wen Kokke
5728f68076
Install packages to lua_modules/, add to path if found.
2020-07-02 15:46:48 +01:00
Wen Kokke
95b976ed1b
Minor fix.
2020-07-02 13:33:54 +01:00
Wen Kokke
2f8418a8c2
Luarocks install local
2020-07-02 13:14:07 +01:00
Wen Kokke
c76940cbb5
Moved generated acknowledgements to out/epub.
2020-07-02 13:02:27 +01:00
Michael Reed
4e837c0975
run-liquid.lua: Add error checking and file output parameter
...
When running `make epub`, Make would try to satisfy the target
'src/plfa/acknowledgements_epub.md' by calling run-liquid.lua. But due
to the use of shell redirection, Make would always create the file
acknowledgements_epub.md, even if run-liquid.lua failed, in which case
acknowledgements_epub.md would be empty. This empty file would still
satisfy the 'src/plfa/acknowledgements_epub.md' target, allowing the
pandoc command line in the 'out/plfa.epub' target to proceed---and later
fail.
To avoid this, we now (a) add a bunch of error checking to run-liquid.lua,
and (b) write directly to acknowledgements_epub.md instead of relying on
shell redirection, so that acknowledgements_epub.md will only be created
(or modified) if run-liquid.lua succeeds.
2020-07-01 17:08:19 -04:00
Michael Reed
54f7d9a90a
Review: Don't build EPUB by default for now
2020-07-01 10:57:15 -04:00
