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

Review: Makefile: Embed all fonts in fonts directory

Browse source
This commit is contained in:
Michael Reed 2020-06-15 11:16:38 -04:00
parent a045f2f8a8
commit 3a9845dd3c
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

@ -53,7 +53,7 @@ out/:
epub: out/
pandoc --strip-comments \
--css=epub.css \
--epub-embed-font=DejaVuSansMono.ttf \
--epub-embed-font='fonts/*.ttf' \
--lua-filter include-files.lua \
--lua-filter default-code-class.lua -M default-code-class=agda \
--standalone \