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

Announce migration to 2.6.1.

Browse source
This commit is contained in:
Wen Kokke 2020-07-20 17:16:01 +01:00
parent da90fefe66
commit ada0f50e5d
2 changed files with 1 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Makefile
View file

@ -165,7 +165,7 @@ out/epub/plfa.epub: $(AGDA_FILES) $(LUA_FILES) epub/main.css out/epub/acknowledg
out/epub/acknowledgements.md: src/plfa/acknowledgements.md _config.yml
@mkdir -p out/epub/
$(BUNDLE) exec ruby epub/render-liquid-template.rb _config.yml $< $@
$(BUNDLE) exec ruby epub/render-liquid-template.rb _config.yml $< $@
.phony: epub epubcheck
@ -187,7 +187,6 @@ clobber: clean
.phony: clean clobber
# Setup Travis
travis-setup:\
travis-install-agda\

3
README.md
View file

@ -45,9 +45,6 @@ permalink: /GettingStarted/
[![Agda][agda-version]][agda]
[![agda-stdlib][agda-stdlib-version]][agda-stdlib]
# Getting Started with PLFA
## Dependencies for users
You can read PLFA [online][plfa] without installing anything.