~cypheon/idris2-quickdocs

c4b45519e4967d8414d88092f6cc13ce2129996e — Johann Rudloff 3 months ago 1a76e9e
Include docs for new "test" library
1 files changed, 1 insertions(+), 1 deletions(-)

M rebuild_all.sh
M rebuild_all.sh => rebuild_all.sh +1 -1
@@ 23,7 23,7 @@ build_doc() {
  ( cd data && tar czf "${pkg}-idris2docs.tar.gz" "$pkg")
}

for pkg in base contrib network prelude; do
for pkg in base contrib network prelude test; do
  build_doc "$pkg"
done