michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
2239 commits 2 branches 4 tags 85 MiB
Commit graph

146 commits

Author Message Date
Michael Reed
99aa26401f EPUB: Populate acknowledgements.md with contributors 
Use liquid-lua to generate acknowledgements_epub.md, which is used by
pandoc to build the EPUB book.  Also stop using the '{%-' / '-%}'
syntax, which liquid-lua does not support, in templates.

Also add a vertical space between the first bullet in each bulleted
list so pandoc recognizes bulleted lists as such. This has no effect on
the the website.
 2020-06-28 14:17:45 -04:00
Michael Reed
75654740b3 EPUB: Fix broken links 
This is done with a lua filter that rewrites links with regular
expressions.

References #480.
 2020-06-17 19:38:26 -04:00
Wen Kokke
b2b8b324af Moved epub-specific files to epub folder. 2020-06-16 16:10:10 +01:00
Wen Kokke
d04f594b1f Fixed bug in epub embedded fonts. 2020-06-16 12:01:19 +01:00
Wen Kokke
a5c7db8162 Adding only mononoki, from assets directory. 2020-06-16 11:49:06 +01:00
Wen Kokke
9dad13717d Fix pandoc install on Travis 2020-06-16 11:12:50 +01:00
Michael Reed
5857550a43 Revert "Add internal link checker" 
This reverts commit dbed30c659.
For whatever reason, some erroneous links are not detected with
this script, but are detected with epubchecker. So let's just use
epubchecker when the time comes.
 2020-06-15 18:42:39 -04:00
Michael Reed
e790ed3b92 Fail on pandoc warnings 2020-06-15 18:32:34 -04:00
Michael Reed
1d6a0c3ca3 Review: Hook the EPUB build up to Travis 2020-06-15 18:32:31 -04:00
Michael Reed
dbed30c659 Add internal link checker 
This should make the link rewriting process easier. As this does
the same job as epubChecker, it can probably be removed once
epubChecker is integrated into the build process.
 2020-06-15 14:24:29 -04:00
Michael Reed
031ad315b3 Review: Cleanup epub target 
- List all dependencies of the `epub` target
- Create non-phony `out/plfa.epub` target, which the phony target `epub`
  is a synonym of.
 2020-06-15 11:36:49 -04:00
Michael Reed
feea0a57d2 Review: Makefile: "make clean" should not remove the .epub 
Note that clobber already removes the `out` directory.
 2020-06-15 11:19:53 -04:00
Michael Reed
3a9845dd3c Review: Makefile: Embed all fonts in fonts directory 2020-06-15 11:16:38 -04:00
Michael Reed
55c7a10e23 Add EPUB creation to the build 
The EPUB is created with `pandoc` in combination with Lua filters, which
rewrite the abstract syntax tree to be more suitable for EPUB creation.
In particular all headings in the markdown files `part[123]/*.lagda.md`
are shifted up by 1 (e.g., level 1 heading -> level 2 heading), so that
we can make a level 1 heading for Appendix, Frontmatter, and different
parts of the book. This is done to match the structure on the website [1].

Syntax highlighting is done using pandoc's builtin syntax highlighter
(which uses the Haskell library `skylighting`). In other words, we do
not use `highlight.sh`, so the syntax highlighting is slightly different
than the website version of the book. This could certainly be dealt with
later.

What follows is a list of things that are currently broken, which is
probably not exhaustive:
- The `Acknowledgements` section is broken.
- Embedded fonts don't work. They're necessary for some ereaders, like my old Sony PRS-300.
- All inline links are broken. I could rewrite them with a Lua filter
  and some regex, although that's not very nice :)
- `epubcheck` validation fails for a variety of reasons.

Closes #112.

[1]: https://plfa.github.io/
[2]: https://github.com/w3c/epubcheck
 2020-06-14 21:28:56 -04:00
Merlin Göttlinger
fcb5a56fa7
Don't hardcode executable paths 
`bash` is not specified to reside under `/bin/bash` on all OSs. E.g. on NixOS it does not.
 2019-10-15 09:56:56 +02:00
Wen Kokke
6db4f14e2b Removed traces of agda2html from Makefile 2019-07-25 12:50:26 +01:00
Wen Kokke
59c0edaa31 Made usage of sed portable; replaced insertions with ed 2019-07-18 00:26:26 +01:00
Wen Kokke
04510a1e2c Made usage of sed portable 2019-07-17 23:11:35 +01:00
Wen Kokke
2a595363c0 Made all internal URLs portable (using site.baseurl) 2019-07-15 17:39:12 +01:00
Wen Kokke
e748a9740f Fix #342 2019-07-14 12:13:58 +01:00
Wen Kokke
cfab4e778f Removed output file argument to highlight.sh as part of #342 2019-07-13 14:54:23 +01:00
Wen Kokke
48d7eefc3a Setup courses folder. 2019-07-12 21:05:27 +01:00
Wen Kokke
2ebe3264a0 Removed agda2html from the Makefile 2019-07-12 15:05:43 +01:00
Wen Kokke
6203ffc992 Finished sed script for linking to the Agda stdlib 2019-07-12 13:56:17 +01:00
Wen Kokke
56ebba4a73 Minimal version without agda2html 2019-07-12 13:56:17 +01:00
Wen Kokke
06ca2fbc60 Trying #267 for real 2019-05-27 16:26:23 +01:00
Wen Kokke
2cf10cc785 Trying #267 2019-05-27 16:25:40 +01:00
Wen Kokke
0aa585b9b6 Temporarily making make verbose again. 2019-05-27 16:20:14 +01:00
Wen Kokke
aa32fad7d8 Fixed Makfile and set Travis shell to BASH 2019-05-27 15:02:13 +01:00
Wen Kokke
d2d3a86dad Added 'set -o pipefail' to Makefile 2019-05-27 14:54:30 +01:00
Wen Kokke
70bcdeec9a Fix #260 2019-05-20 16:12:03 +01:00
Wen Kokke
61163eb056 Fix bug with find on DICE 2019-01-08 09:40:44 +00:00
Wen Kokke
1b59d9747e Updated README 2018-12-18 12:58:36 +00:00
Wen Kokke
0c51f1069a Fixed make travis-install-agda-stdlib 2018-12-18 12:34:47 +00:00
Wen Kokke
fb4e2a27e1 Fix makefile 2018-12-18 11:52:55 +00:00
Wen Kokke
ea2398ec0e Updated to stdlib version 0.17 2018-12-18 11:46:25 +00:00
Wen Kokke
570b3b4f45 Revert "Removed TSPL content from PLFA" 
This reverts commit 3b842e8429.
 2018-12-18 11:37:57 +00:00
Wen Kokke
3b842e8429 Removed TSPL content from PLFA 2018-12-18 10:50:20 +00:00
Wen Kokke
d6a450b1c7 Make AGDA_VERSION a Travis variable 2018-12-06 18:47:30 +00:00
Wen Kokke
8eaabb0a6d Upgraded Agda version on Travis 2018-12-06 18:39:29 +00:00
Wen Kokke
023542912a Misplaced a 'v' 2018-12-06 15:59:17 +00:00
Wen Kokke
2c42745016 Added AGDA_VERSION to Makefile 2018-12-06 15:15:22 +00:00
Wen Kokke
961784da9d Removed Atom feed, changed Makefile 2018-12-06 15:10:03 +00:00
Wen Kokke
abdc1f163b Fix travis-uninstall-agda [skip travis] 2018-12-06 14:35:05 +00:00
Wen Kokke
bfa431977c Have travis install stdlib from plfa/agda-stdlib 2018-12-06 13:25:14 +00:00
Wen Kokke
3da7f8e268 Made 'make serve' build the site incrementally 2018-11-27 17:50:59 +00:00
Wen Kokke
7c7639393e started sidebar for linarg correspondence 2018-11-14 20:52:51 +00:00
Wen Kokke
3d655bb695 added install/uninstall/reinstall commands to the travis portion of the makefile; inlined the module header on plfa.Linearity 2018-11-14 14:46:32 +00:00
Wen Kokke
c5f8befd81 Added make build-offline option 2018-10-23 13:22:18 +01:00
Wen Kokke
2cb1ad68c8 let makefile target used files instead of repositories for agda/agda2html/agda-stdlib/acknowledgements 2018-10-12 06:51:11 -05:00
Wen Kokke
7d414f76e3 install plfa as a library on travis 2018-10-12 06:36:09 -05:00
Wen Kokke
0c45913b78 Moved TSPL files into their own directory 2018-10-10 15:41:54 -05:00
Wen Kokke
079b734c18 Added license 2018-10-02 10:46:02 -05:00
Wen Kokke
eea8ae9aa6 Added acknowledgements script. 2018-09-11 16:37:05 +01:00
Wen Kokke
060e411323 Removed --local-references flag 2018-09-07 13:06:36 +01:00
Philip Wadler
02fc506bd0 fixed conflicts 2018-09-07 12:42:03 +01:00
Philip Wadler
ef27c1d191 small updates 2018-09-07 12:39:46 +01:00
Wen Kokke
76609c5946 Added --link-to-local-agda-names to the Makefile 2018-09-06 15:26:50 +01:00
Wen Kokke
94253f68fc Added 'Prev • Source • Next' links 2018-09-04 17:58:15 +01:00
Wen Kokke
76b4c7144e Disabled external links in 'make test' 2018-07-05 15:31:29 +01:00
Wen Kokke
ebd1b0ad12 Updated Makefile and about page. 2018-07-05 14:31:58 +01:00
Wen Kokke
3d4c18c317 Trying again; changing to plfa.github.io 2018-07-05 10:46:10 +01:00
Wen Kokke
6f2b0cdafd Reverting move to PLFA org 2018-07-05 10:27:59 +01:00
Wen Kokke
284e9e590d Moved to plfa.github.io. 2018-07-05 08:33:16 +01:00
wadler
41939ad031 added agda-count.hs 2018-07-04 21:20:32 -03:00
Wen Kokke
c34b99af6b Changed other occurances of sf/ to plfa/ 2018-07-04 23:32:49 +01:00
Wen Kokke
a56370369c Fixed broken local links; added jekyll-feed back into the plugins. 2018-06-11 13:14:51 +02:00
Wen Kokke
dbfd79993f Working on getting rid of deadlinks 2018-06-04 15:06:19 +01:00
Wen Kokke
590961679c Generate correct links in index.md; added 'make test' option which runs htmlproofer; excluded a number of files from the _site directory; these should've all been seperate commits, shouldn't they have? 2018-06-04 13:17:37 +01:00
Wen Kokke
cfac659f51 Fixed call to agda2html (jekyll-root -> use-jekyll) 2018-06-02 20:12:51 +01:00
Wen Kokke
ecc468c84d Fixed make: Nothing to be done for `clean'. 2018-06-02 19:46:13 +01:00
Wen Kokke
ebbd1604b6 Fixed Makefile re: submodules 2018-06-02 19:37:16 +01:00
Wen Kokke
ad732ec226 Fixed Makefile 2018-05-26 17:35:28 +01:00
Wen Kokke
da04fb6df2
Writing Makefiles is hard, OK? 2018-04-12 16:36:52 +01:00
Wen Kokke
ec0e64152c
Added workaround for bug in agda2html 2018-04-12 16:31:15 +01:00
Wen Kokke
f709ab0bf3
Added workaround for bug in agda2html 2018-04-12 16:26:37 +01:00
Wen Kokke
5c16222d49
Updated Makefile. 2018-03-12 12:07:17 +00:00
Wen Kokke
5144d5717c
Fixed .travis.yml; added server-start and server-stop; removed serve 2018-02-28 12:08:43 +00:00
Wen Kokke
6888d87b37
Fixed Makefile 2018-02-28 12:01:22 +00:00
Wen Kokke
abfff1ac17
Minor changes in makefile; moved bundle install to make setup 2018-02-02 13:37:13 +00:00
Wen Kokke
967464906f
Travis: Fixing minor errors through many commits 2018-01-28 11:22:02 +00:00
Wen Kokke
0bb07834c1
Travis: Fixing minor errors through marny commits 2018-01-28 10:48:45 +00:00
Wen Kokke
78e4d54a9a
Travis: Now also caching the build directories 2018-01-28 10:39:34 +00:00
Wen Kokke
ecb1a30f3a
Fixed Makefile 2018-01-28 10:13:01 +00:00
Wen Kokke
0a761e5680
Added cleanup before deployment 2018-01-28 10:08:14 +00:00
Wen Kokke
5a53d7d9b1
Fixed makefile 2018-01-28 09:53:24 +00:00
Wen Kokke
5bfc9b49a6
Fixed Makefile 2018-01-28 09:43:02 +00:00
Wen Kokke
739b2497ee
Fixed Makefile 2018-01-28 02:24:18 +00:00
Wen Kokke
106508f81f
Make better use of Travis caching 2018-01-28 01:45:43 +00:00
Wen Kokke
d1380fd0dc
Removed out/Basics, added make setup, updated _config 2018-01-27 23:47:35 +00:00
Wen Kokke
dec8fd5705
Expanded Makefile -- regenerated outputs. 2017-06-27 16:10:16 +01:00
Wen Kokke
eaeab73fc1
Re-regenerated the output files 2017-06-27 15:25:04 +01:00
Wen Kokke
7b804c29b5
Added make serve task to the Makefile 2017-06-27 14:54:09 +01:00
Pepijn Kokke
d1163c6f39
Removed --strip-implicits. 2017-03-14 16:13:06 +00:00
Pepijn Kokke
f96b046cbc
Moved imports up to the top of the file in all files except for Maps. Created clean and clobber tasks. 2017-03-11 23:07:56 +00:00
Pepijn Kokke
21b52e98e4
Moved .lagda files into src/; added basic structure of a website. 2017-03-10 15:49:30 +00:00