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

Added workaround for bug in agda2html

Browse source
This commit is contained in:
Wen Kokke 2018-04-12 16:31:15 +01:00
parent f709ab0bf3
commit ec0e64152c
No known key found for this signature in database
GPG key ID: 82A1AE2526064F4B
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,6 +74,6 @@ $(HOME)/agda2html-master/:
.phony: serve build clean clobber macos-setup travis-setup
# workaround for a bug in agda2html
bugfix:
bugfix: out/
@touch out/Nat.md
.phony: bugfix