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
|
#!/bin/bash
builddir=$1
destdir=$2
DATE=$(date +'%y.%m.%d %H:%M:%S')
git clone git@github.com:PDAL/pdal.github.io.git $destdir/pdaldocs
cd $destdir/pdaldocs
git checkout master
cd $builddir/html
cp -rf * $destdir/pdaldocs
cd $builddir/latex/
cp PDAL.pdf $destdir/pdaldocs
cd $destdir/pdaldocs
git config user.email "pdal@hobu.net"
git config user.name "PDAL Travis docsbot"
git add -A
git commit -m "update with results of commit https://github.com/PDAL/PDAL/commit/$TRAVIS_COMMIT for ${DATE}"
git push origin master
|
