push to gh-pages

tork-a · Jan 22, 2018 · 5b57c4a · 5b57c4a
1 parent 5ebe412
commit 5b57c4a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.deploy.sh b/.deploy.sh
@@ -24,5 +24,6 @@ catkin_topological_order | while read line; do
     echo "Package $PKGNAME does not have www directory"
   fi
 done
-
+## add index html for gh-pages
+sed 's@(\(.*\)/README.md)@(\1)@' README.md > $DEST_DIR/README.md
 echo "All copy done!"
diff --git a/.travis.yml b/.travis.yml
@@ -47,16 +47,15 @@ script:
   - catkin build
   - source devel/setup.bash
 after_success:
-  - chmod +x $CI_SOURCE_PATH/.deploy.sh
   - $CI_SOURCE_PATH/.deploy.sh
   - cd $CI_SOURCE_PATH  # This is for deploy section
 deploy:
   provider: pages
   skip_cleanup: true
   github_token: $GH_TOKEN
   local_dir: $PUBLISHED_DIR
-  target_branch: master
-  keep_history: true
+  target_branch: gh-pages
+  keep_history: false
   on:
     branch: kinetic-devel  # set to default branch
     condition: "$ROS_DISTRO = indigo"