~cypheon/idris2-quickdocs

36f65fbad3f2a958a47cf2c41628ef6a1d5a6067 — Johann Rudloff 1 year, 5 months ago 6932797
Fix directory permissions after rebuilding docs
1 files changed, 2 insertions(+), 0 deletions(-)

M rebuild_all.sh
M rebuild_all.sh => rebuild_all.sh +2 -0
@@ 29,3 29,5 @@ done

poetry run ./mkindex.py data
poetry run ./mkhome.py data

chmod -R ugo+rX data