From ada0f50e5d41c8d012db3b1531dbde3d3f00d0e2 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Mon, 20 Jul 2020 17:16:01 +0100
Subject: [PATCH] Announce migration to 2.6.1.

---
 Makefile  | 3 +--
 README.md | 3 ---
 2 files changed, 1 insertion(+), 5 deletions(-)

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.