Customize index set

This commit is contained in:
Griatch 2020-11-14 19:15:24 +01:00
parent 61162bd4d2
commit 26b2eb56a0

View file

@ -21,6 +21,7 @@ ls -Q | grep -v build | xargs rm -Rf
cp -Rf build/html/* .
# TODO automate this?
ln -s 0.9.5 latest
ln -s 0.9.5/index.html .
# docs/build is in .gitignore so will not be included
git add .