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

Fixed call to agda2html (jekyll-root -> use-jekyll)

Browse source
This commit is contained in:
Wen Kokke 2018-06-02 20:12:51 +01:00
parent ecc468c84d
commit cfac659f51
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

@ -6,7 +6,7 @@ all: bugfix $(markdown)
out/%.md: src/%.lagda
mkdir -p out
agda2html --verbose --link-to-agda-stdlib --jekyll-root=out/ -i $< -o $@
agda2html --verbose --link-to-agda-stdlib --use-jekyll=out/ -i $< -o $@
# start server
server-start: