fix again of path

This commit is contained in:
Griatch 2020-06-13 12:21:34 +02:00
parent 00f8eed8ca
commit b48b988883

View file

@ -18,7 +18,7 @@ git checkout gh-pages
# remove all but the build dir
ls -Q | grep -v build | xargs rm -Rf
cp -Rf build/html/versions/* .
cp -Rf build/html/* .
# docs/build is in .gitignore so will not be included
git add .
git st