diff --git a/_config.yml b/_config.yml index f0a4ac89..81668ccd 100644 --- a/_config.yml +++ b/_config.yml @@ -60,6 +60,7 @@ exclude: - "papers/" - "slides/" - "vendor/" + - "plfa.github.io-web-*/" - "*.agdai" - "*.agda-lib" - "*.lagda.md"