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

Fail on pandoc warnings

Browse source
This commit is contained in:
Michael Reed 2020-06-15 18:32:06 -04:00
parent 1d6a0c3ca3
commit e790ed3b92
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Makefile
View file

@ -62,6 +62,7 @@ out/plfa.epub: out/ $(AGDA) $(LUA) epub.css fonts/*.ttf
--lua-filter check-internal-links.lua \ --lua-filter check-internal-links.lua \
--lua-filter default-code-class.lua -M default-code-class=agda \ --lua-filter default-code-class.lua -M default-code-class=agda \
--standalone \ --standalone \
--fail-if-warnings \
--toc --toc-depth=2 \ --toc --toc-depth=2 \
--epub-chapter-level=2 \ --epub-chapter-level=2 \
-o "$@" \ -o "$@" \