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

Expanded Makefile -- regenerated outputs.

Browse source
This commit is contained in:
Wen Kokke 2017-06-27 16:10:16 +01:00
parent 6c4fa4bf72
commit dec8fd5705
No known key found for this signature in database
GPG key ID: B987B93AC7378292
3 changed files with 3519 additions and 3504 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Makefile
View file

@ -13,7 +13,7 @@ out/%.md: src/%.lagda out/
.phony: serve .phony: serve
serve: serve:
ruby -S gem install bundler ruby -S gem install bundler --no-ri --no-rdoc
ruby -S bundle install ruby -S bundle install
ruby -S bundle exec jekyll serve ruby -S bundle exec jekyll serve
@ -27,6 +27,9 @@ endif
.phony: clobber .phony: clobber
clobber: clean clobber: clean
ruby -S gem install bundler --no-ri --no-rdoc
ruby -S bundle install
ruby -S bundle exec jekyll clean
ifneq ($(strip $(markdown)),) ifneq ($(strip $(markdown)),)
rm $(markdown) rm $(markdown)
endif endif

6702
out/Stlc.md
View file

File diff suppressed because it is too large Load diff

338
out/StlcProp.md
View file

File diff suppressed because it is too large Load diff