Fix .versions

2020-07-14 18:59:59 +01:00 · 2020-07-14 18:59:59 +01:00 · acca8350b1
commit acca8350b1
parent d8caea8b69
2 changed files with 1 additions and 2 deletions
--- 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
--- a/_config.yml
+++ b/_config.yml
@ -60,7 +60,7 @@ exclude:
  - "papers/"
  - "slides/"
  - "vendor/"
-  - "versions/"
+  - ".versions/"
  - "*.agdai"
  - "*.agda-lib"
  - "*.lagda.md"