Moved up acknowledgements.

This commit is contained in:
Wen Kokke 2020-07-02 23:25:59 +01:00
parent bce8bb3d89
commit 45203c2705

View file

@ -43,11 +43,11 @@ script:
- agda --version
- acknowledgements --version
- pandoc --version
- make build test-offline # disable to only build cache
- make epub epubcheck
- make test-offline # build and test website
- acknowledgements -i _config.yml >> _config.yml
- make epubcheck # build and test EPUB
before_deploy:
- acknowledgements -i _config.yml >> _config.yml
- make clean
- rm -rf hs/ extra/ depr/ papers/ slides/ .bundle/ vendor/ *.agdai *.agda-lib *.lagda.md Guardfile Gemfile Gemfile.lock Makefile highlight.sh .gitignore .travis.yml