File tree Expand file tree Collapse file tree 1 file changed +7
-3
lines changed Expand file tree Collapse file tree 1 file changed +7
-3
lines changed Original file line number Diff line number Diff line change @@ -30,7 +30,7 @@ __AUTHOR__="Jeroen de Bruijn"
30
30
# the gh-pages branch of a repository specified by GH_REPO_REF.
31
31
# Before this script is used there should already be a gh-pages branch in the
32
32
# repository.
33
- #
33
+ #
34
34
# ###############################################################################
35
35
36
36
# ###############################################################################
@@ -47,6 +47,10 @@ cd code_docs
47
47
git clone -b gh-pages https://git@$GH_REPO_REF
48
48
cd $GH_REPO_NAME
49
49
50
+ # Copy the README
51
+ rm README.md
52
+ cp ${TRAVIS_BUILD_DIR} /README.md .
53
+
50
54
# #### Configure git.
51
55
# Set the push default to simple i.e. push only the current branch.
52
56
git config --global push.default simple
@@ -68,7 +72,7 @@ elif [ "$TRAVIS_BRANCH" == "Develop" ]; then
68
72
rm -rf Develop
69
73
mkdir -p Develop
70
74
cd Develop
71
- else
75
+ else
72
76
echo " No Doxygen Documentation for $TRAVIS_BRANCH Branch."
73
77
exit 0
74
78
fi
112
116
echo ' Warning: No documentation (html) files have been found!' >&2
113
117
echo ' Warning: Not going to push the documentation to GitHub!' >&2
114
118
exit 1
115
- fi
119
+ fi
You can’t perform that action at this time.
0 commit comments