From 7de2d921d8e68f50087ed967342a57f1573a08f0 Mon Sep 17 00:00:00 2001 From: Joel Date: Sun, 17 Jan 2021 04:50:10 +0100 Subject: [PATCH] fixed error in doc build script, causing html folder to be copied instead of its contents --- sphinx_to_github.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/sphinx_to_github.sh b/sphinx_to_github.sh index fedfc2a..74cd21b 100755 --- a/sphinx_to_github.sh +++ b/sphinx_to_github.sh @@ -1,4 +1,4 @@ -cd docs +cd docs || exit rm -rf build rm -rf gh-pages @@ -6,10 +6,10 @@ make html git clone git@github.com:F-WuTS/compLIB.git gh-pages -cd gh-pages +cd gh-pages || exit git checkout gh-pages -cp -r ../build/html/ . +cp -r ../build/html/* . git add . git commit -a -m "Update documentation"