diff --git a/Makefile b/Makefile index 017c1983..980a555f 100644 --- a/Makefile +++ b/Makefile @@ -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\ diff --git a/README.md b/README.md index a899dff0..fc494ea4 100644 --- a/README.md +++ b/README.md @@ -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.