Moved generated acknowledgements to out/epub.

This commit is contained in:
Wen Kokke 2020-07-02 13:02:27 +01:00
parent 353ff35644
commit c76940cbb5
3 changed files with 9 additions and 6 deletions

View file

@ -50,9 +50,12 @@ out/:
# files are too large, so for large documents with few level-1 headings, one
# might want to use a chapter level of 2 or 3."
epub: out/plfa.epub
epub: out/epub/plfa.epub
out/plfa.epub: out/ $(AGDA) $(LUA) epub/main.css src/plfa/acknowledgements_epub.md
out/epub/:
mkdir -p out/epub/
out/epub/plfa.epub: out/epub/ | $(AGDA) $(LUA) epub/main.css out/epub/acknowledgements.md
pandoc --strip-comments \
--css=epub/main.css \
--epub-embed-font='assets/fonts/mononoki.woff' \
@ -69,8 +72,8 @@ out/plfa.epub: out/ $(AGDA) $(LUA) epub/main.css src/plfa/acknowledgements_epub.
-o "$@" \
epub/index.md
src/plfa/acknowledgements_epub.md: src/plfa/acknowledgements.md _config.yml
lua epub/run-liquid.lua _config.yml $< $@
out/epub/acknowledgements.md: src/plfa/acknowledgements.md _config.yml
lua epub/render-liquid-template.lua _config.yml $< $@
# Convert literal Agda to Markdown

View file

@ -65,9 +65,9 @@ src/plfa/part2/Substitution.lagda.md
# Backmatter
``` {.include shift-heading-level-by=1}
src/plfa/acknowledgements_epub.md
out/epub/acknowledgements.md
src/plfa/Fonts.lagda.md
src/plfa/statistics.md
```
<!-- TODO: include the rest of the stuff on https://plfa.github.io/ -->
<!-- TODO: include the rest of the stuff on https://plfa.github.io/ -->