diff --git a/gitlab-build.sh b/gitlab-build.sh index 5f210ae69fff4ad32ec29083c73886ab7c3368fb..93643e370176c1ba1d983405c40d3ba7d0e29ebc 100755 --- a/gitlab-build.sh +++ b/gitlab-build.sh @@ -34,7 +34,7 @@ EOF if [ "x$1" == "xhtml" ]; then mkdir -p public/html - cat <<HERE > public/html/index.html + cat <<HERE > public/html/redir.html <!DOCTYPE html> <html> <head> @@ -70,6 +70,7 @@ HERE if [ "x$1" == "xpublish" ]; then # Move files mkdir -p public/$VER_DIR/ + mv public/html/redir.html public/index.html mv public/html/* public/$VER_DIR/ mv public/pdf/beagleboard-docs.pdf public/$VER_DIR/