Skip to content

Commit

Permalink
Merge pull request #3981 from wlemkows/libs_map
Browse files Browse the repository at this point in the history
common: add libs_map auto update
  • Loading branch information
marcinslusarz authored Sep 27, 2019
2 parents dab126c + 366133a commit 2b07d15
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion utils/docker/run-doc-update.sh
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ git checkout -B ${TARGET_BRANCH} upstream/${TARGET_BRANCH}
make doc

# Build & PR groff
git add -A
git add -A ./doc
git commit -m "doc: automatic $TARGET_BRANCH docs update" && true
git push -f ${ORIGIN} ${TARGET_BRANCH}

Expand All @@ -80,6 +80,7 @@ cd ..

mv ./doc/web_linux ../
mv ./doc/web_windows ../
mv ./doc/generated/libs_map.yml ../

# Checkout gh-pages and copy docs
GH_PAGES_NAME="gh-pages-for-${TARGET_BRANCH}"
Expand All @@ -95,6 +96,11 @@ rsync -a ../web_windows/ ./manpages/windows/${VERSION}/ \
rm -r ../web_linux
rm -r ../web_windows

if [ $TARGET_BRANCH = "master" ]; then
[ ! -d _data ] && mkdir _data
cp ../libs_map.yml _data
fi

# Add and push changes.
# git commit command may fail if there is nothing to commit.
# In that case we want to force push anyway (there might be open pull request with
Expand Down

0 comments on commit 2b07d15

Please sign in to comment.