eigen/scripts/eigen_gen_docs

#!/bin/sh

# configuration
# You should call this script with USER set as you want, else some default
# will be used
USER=${USER:-'orzel'}

#ulimit -v 1024000

# step 1 : build
rm build/doc/html -Rf
mkdir build -p
(cd build && cmake .. && make doc) || { echo "make failed"; exit 1; }

#step 2 : upload
# (the '/' at the end of path is very important, see rsync documentation)
rsync -az --no-p --delete build/doc/html/ $USER@ssh.tuxfamily.org:eigen/eigen.tuxfamily.org-web/htdocs/dox-devel/ || { echo "upload failed"; exit 1; }

#step 3 : fix the perm
ssh $USER@ssh.tuxfamily.org 'chmod -R g+w /home/eigen/eigen.tuxfamily.org-web/htdocs/dox-devel' || { echo "perm failed"; exit 1; }

echo "Uploaded successfully"
new script to generate and upload the docs for a given branch needs cleanup by a better shell scripter!! 2009-08-15 07:07:01 +08:00			`#!/bin/sh`

new script that update from mercurial, make the doc, and upload the result to tuxfamily.org 2009-08-15 09:36:37 +08:00			`# configuration`
use provided $USER if available, let the caller do the update (safer) 2009-10-04 09:35:02 +08:00			`# You should call this script with USER set as you want, else some default`
			`# will be used`
			`USER=${USER:-'orzel'}`
new script to generate and upload the docs for a given branch needs cleanup by a better shell scripter!! 2009-08-15 07:07:01 +08:00
be nice with the server : dont use -j3 2011-04-19 23:41:59 +08:00			`#ulimit -v 1024000`

use provided $USER if available, let the caller do the update (safer) 2009-10-04 09:35:02 +08:00			`# step 1 : build`
fixes #568 (files from previous build were kept on the server, with outdated/garbled information) The documentation update script now wipes build/doc/html before rebuilding stuff. Most of the time/cpu consuming is spent in compiling snippets, so we don't loose that much. 2013-03-20 02:18:14 +08:00			`rm build/doc/html -Rf`
be nice with the server : dont use -j3 2011-04-19 23:41:59 +08:00			`mkdir build -p`
			`(cd build && cmake .. && make doc) \|\| { echo "make failed"; exit 1; }`
new script to generate and upload the docs for a given branch needs cleanup by a better shell scripter!! 2009-08-15 07:07:01 +08:00
use provided $USER if available, let the caller do the update (safer) 2009-10-04 09:35:02 +08:00			`#step 2 : upload`
add a command to fix the permission of the uploaded documentation 2011-12-03 18:18:20 +08:00			`# (the '/' at the end of path is very important, see rsync documentation)`
uniformize eigen_gen_docs between branches / cleaning 2012-04-03 20:24:20 +08:00			`rsync -az --no-p --delete build/doc/html/ $USER@ssh.tuxfamily.org:eigen/eigen.tuxfamily.org-web/htdocs/dox-devel/ \|\| { echo "upload failed"; exit 1; }`
new script to generate and upload the docs for a given branch needs cleanup by a better shell scripter!! 2009-08-15 07:07:01 +08:00
add a command to fix the permission of the uploaded documentation 2011-12-03 18:18:20 +08:00			`#step 3 : fix the perm`
			`ssh $USER@ssh.tuxfamily.org 'chmod -R g+w /home/eigen/eigen.tuxfamily.org-web/htdocs/dox-devel' \|\| { echo "perm failed"; exit 1; }`

fix the script again (definitely?) + cleaning 2010-01-23 02:26:29 +08:00			`echo "Uploaded successfully"`
new script to generate and upload the docs for a given branch needs cleanup by a better shell scripter!! 2009-08-15 07:07:01 +08:00