blob: 9a3e6dfce2e763fbdee0c568f2a4b83766168c5a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/bin/bash
builddir=$1
destdir=$2
git clone git@github.com:OSGeo/proj.4.git $destdir/proj4docs
cd $destdir/proj4docs
git checkout gh-pages
cd $builddir/html
cp -rf * $destdir/proj4docs
cd $destdir/proj4docs
git config user.email "proj4bot@proj4.bot"
git config user.name "proj.4 deploybot"
git add -A
git commit -m "update with results of commit https://github.com/OSGeo/proj.4/commit/$TRAVIS_COMMIT"
git push origin gh-pages
|