From acca8350b1a767af0514bb51365a6612dff14200 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Tue, 14 Jul 2020 18:59:59 +0100
Subject: [PATCH] Fix .versions

---
 .travis.yml | 1 -
 _config.yml | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index ac757349..2fc783a5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -45,7 +45,6 @@ script:
 - acknowledgements -i _config.yml >> _config.yml
 - make build # build website
 - make build-history # build previous releases
-- make clean # clean auxiliary files
 - make test-offline # test website
 - make epub # build EPUB
 - make epubcheck # test EPUB
diff --git a/_config.yml b/_config.yml
index 24b719f2..a14f2ff9 100644
--- a/_config.yml
+++ b/_config.yml
@@ -60,7 +60,7 @@ exclude:
   - "papers/"
   - "slides/"
   - "vendor/"
-  - "versions/"
+  - ".versions/"
   - "*.agdai"
   - "*.agda-lib"
   - "*.lagda.md"