mirror of https://github.com/qTox/qTox.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
49 lines
1.6 KiB
49 lines
1.6 KiB
#!/bin/bash |
|
# |
|
# Copyright © 2016-2018 by The qTox Project Contributors |
|
# |
|
# This program is libre software: you can redistribute it and/or modify |
|
# it under the terms of the GNU General Public License as published by |
|
# the Free Software Foundation, either version 3 of the License, or |
|
# (at your option) any later version. |
|
# |
|
# This program is distributed in the hope that it will be useful, |
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
# GNU General Public License for more details. |
|
# |
|
# You should have received a copy of the GNU General Public License |
|
# along with this program. If not, see <http://www.gnu.org/licenses/>. |
|
# |
|
|
|
# Fail out on error |
|
set -eu -o pipefail |
|
|
|
# Extract html documentation directory from doxygen configuration |
|
OUTPUT_DIR_CFG=( $(grep 'OUTPUT_DIRECTORY' "$DOXYGEN_CONFIG_FILE") ) |
|
HTML_OUTPUT_CFG=( $(grep 'HTML_OUTPUT' "$DOXYGEN_CONFIG_FILE") ) |
|
|
|
DOCS_DIR="./${OUTPUT_DIR_CFG[2]}/${HTML_OUTPUT_CFG[2]}/" |
|
|
|
# Ensure docs exists |
|
if [ ! -d "$DOCS_DIR" ] |
|
then |
|
echo "Docs deploy failing, no $DOCS_DIR present." |
|
exit 1 |
|
fi |
|
|
|
# Obtain git commit hash from HEAD |
|
GIT_CHASH=$(git rev-parse HEAD) |
|
|
|
# Push generated doxygen to GitHub pages |
|
cd "$DOCS_DIR" |
|
|
|
git init --quiet |
|
git config user.name "Travis CI" |
|
git config user.email "qTox@users.noreply.github.com" |
|
|
|
git add . |
|
git commit --quiet -m "Deploy to GH pages from commit: $GIT_CHASH" |
|
|
|
echo "Pushing to GH pages..." |
|
git push --force --quiet "https://${GH_TOKEN}@github.com/qTox/doxygen.git" master:gh-pages &> /dev/null
|
|
|