Skip to content
Snippets Groups Projects
Unverified Commit 2b07d158 authored by Marcin Ślusarz's avatar Marcin Ślusarz Committed by GitHub
Browse files

Merge pull request #3981 from wlemkows/libs_map

common: add libs_map auto update
parents dab126c4 366133a0
No related branches found
No related tags found
No related merge requests found
......@@ -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}
......@@ -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}"
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment