fix docpush script (#575)

frenetic-lang · Sep 19, 2017 · cc221ea · cc221ea
1 parent 0a3e9f2
commit cc221ea
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.travis.docgen.sh b/.travis.docgen.sh
@@ -19,7 +19,8 @@ rm -rf $DOCDIR
 git clone https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG} $DOCDIR 2>&1 | sed -e "s/$GH_TOKEN/!REDACTED!/g"
 git -C $DOCDIR checkout gh-pages || git -C $DOCDIR checkout --orphan gh-pages
 
-mv $DOCSRC $DOCDIR
+DOCFILES=$(echo $DOCSRC/*)
+cp -R $DOCFILES $DOCDIR
 
 git -C $DOCDIR config user.email "[email protected]"
 git -C $DOCDIR config user.name "Travis"