michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Full path to Lua

Browse source
This commit is contained in:
Wen Kokke 2020-07-02 19:33:20 +01:00
parent 968676147a
commit 871052e49b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -74,7 +74,7 @@ out/epub/plfa.epub: out/epub/ | $(AGDA) $(LUA) epub/main.css out/epub/acknowledg
epub/index.md epub/index.md
out/epub/acknowledgements.md: src/plfa/acknowledgements.md _config.yml out/epub/acknowledgements.md: src/plfa/acknowledgements.md _config.yml
lua $(LUA_FLAGS) epub/render-liquid-template.lua _config.yml $< $@ $(HOME)/.local/bin/lua $(LUA_FLAGS) epub/render-liquid-template.lua _config.yml $< $@
# Convert literal Agda to Markdown # Convert literal Agda to Markdown