aboutsummaryrefslogtreecommitdiffstats
path: root/jjb/daily-jjb-doc-update/daily-jjb-doc-update.local.sh
blob: 0ff414bfa80a534e5ad03c6a9fc5d3cbaca09a79 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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