Browse Source

fix: mkdir command failed during push_docs

Julius Pfrommer 7 years ago
parent
commit
fbfd7e14d6
1 changed files with 0 additions and 1 deletions
  1. 0 1
      tools/travis/travis_push_doc.sh

+ 0 - 1
tools/travis/travis_push_doc.sh

@@ -5,7 +5,6 @@ git clone --depth=5 -b gh-pages https://$GITAUTH@github.com/open62541/open62541-
 cd open62541-www
 
 rm -r -f ./doc/current/* || true # ignore result
-mkdir ./doc/current
 cp -r ../../doc/* ./doc/current/
 cp -r ../../doc_latex/open62541.pdf ./doc/open62541-current.pdf
 git add -A ./doc