diff options
Diffstat (limited to 'jjb/daily-jjb-doc-update/daily-jjb-doc-update.local.sh')
-rwxr-xr-x | jjb/daily-jjb-doc-update/daily-jjb-doc-update.local.sh | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/jjb/daily-jjb-doc-update/daily-jjb-doc-update.local.sh b/jjb/daily-jjb-doc-update/daily-jjb-doc-update.local.sh new file mode 100755 index 00000000..0ff414bf --- /dev/null +++ b/jjb/daily-jjb-doc-update/daily-jjb-doc-update.local.sh @@ -0,0 +1,27 @@ +#!/bin/bash + +#rm -rf docs-agl || true +# cloning git@github.com:automotive-grade-linux/docs-agl.git + +if test -d docs-agl; then + pushd docs-agl + git remote -v update + git reset --hard origin/master + popd +else + git clone git@github.com:automotive-grade-linux/docs-agl.git +fi + +pushd docs-agl + + . ../include-doc-update.sh + + pushd webdocs-agl + + ( sleep 7 ; firefox http://127.0.0.1:4000 ) & + make serve + + popd + + +popd
\ No newline at end of file |