diff --git a/scripts/eigen_gen_docs b/scripts/eigen_gen_docs new file mode 100644 index 000000000..3cdacc1a8 --- /dev/null +++ b/scripts/eigen_gen_docs @@ -0,0 +1,24 @@ +#!/bin/sh + +# configuration +USER='orzel' + +# step 1 : update +hg pull -u || (echo "update failed"; exit 1) + +# step 2 : build +# todo if 'build is not there, create one: +#mkdir build +(cd build && cmake .. && make -j3 doc) || (echo "make failed"; exit 1) +#todo: n+1 where n = number of cpus + +#step 3 : upload +BRANCH=`hg branch` +if [ $BRANCH == "default" ] +then + BRANCH='devel' +fi +# (the '/' at the end of path are very important, see rsync documentation) +rsync -az build/doc/html/ $USER@ssh.tuxfamily.org:eigen/eigen.tuxfamily.org-web/htdocs/dox-$BRANCH/ || (echo "upload failed"; exit 1) + +