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"