From 95b976ed1b2d577b0e70169e1d1ebf8026ed79fe Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Thu, 2 Jul 2020 13:33:54 +0100
Subject: [PATCH] Minor fix.

---
 Makefile    | 2 +-
 _config.yml | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 18ed74a5..cdde572d 100644
--- a/Makefile
+++ b/Makefile
@@ -118,7 +118,7 @@ build-incremental: $(MARKDOWN)
 
 # Remove all auxiliary files
 clean:
-	rm -f .agda-stdlib.sed .links-*.sed src/plfa/acknowledgements_epub.md
+	rm -f .agda-stdlib.sed .links-*.sed out/epub/acknowledgements.md
 ifneq ($(strip $(AGDAI)),)
 	rm $(AGDAI)
 endif
diff --git a/_config.yml b/_config.yml
index 9cd89930..f0a4ac89 100644
--- a/_config.yml
+++ b/_config.yml
@@ -67,3 +67,4 @@ exclude:
   - "Gemfile"
   - "Gemfile.lock"
   - "highlight.sh"
+  - "out/epub/acknowledgements.md"