cat/Makefile

14 lines
244 B
Makefile
Raw Permalink Normal View History

2018-01-20 23:22:52 +00:00
build: src/**.agda
2018-05-25 23:15:57 +00:00
agda --library-file ./libraries src/Cat.agda
clean:
find src -name "*.agdai" -type f -delete
2018-05-15 14:08:29 +00:00
2018-05-29 13:35:20 +00:00
html: src/**.agda
2018-05-15 14:08:29 +00:00
agda --html src/Cat.agda
upload: html
scp -r html/ remote11.chalmers.se:www/cat/doc/
2018-05-29 13:35:20 +00:00
.PHONY: upload clean