Thomas Capricelli
a6bff116f9
simplify/uniformize eigen_gen_docs
2013-10-18 12:56:15 +02:00
Thomas Capricelli
aba50d842e
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-19 19:18:14 +01:00
Thomas Capricelli
3018e80c59
uniformize eigen_gen_docs between branches / cleaning
2012-04-03 14:24:20 +02:00
Thomas Capricelli
c3ad1f9382
eigen_gen_docs: dont try to update permissions on server
2011-12-06 15:55:20 +01:00
Gael Guennebaud
c0e36516f3
add a command to fix the permission of the uploaded documentation
2011-12-03 11:18:20 +01:00
Thomas Capricelli
50c00d14c8
be nice with the server : dont use -j3
2011-04-19 17:41:59 +02:00
Thomas Capricelli
d08035f3e1
fix the script again (definitely?) + cleaning
2010-01-22 19:26:29 +01:00
Thomas Capricelli
a0efdd843c
actually stop on failure
2010-01-06 17:14:31 +01:00
Thomas Capricelli
5f32088443
use provided $USER if available, let the caller do the update (safer)
2009-10-04 03:35:02 +02:00
Thomas Capricelli
5fe0c30811
new script that update from mercurial, make the doc, and upload the result
...
to tuxfamily.org
2009-08-15 03:36:37 +02:00
Benoit Jacob
62748a0963
new script to generate and upload the docs for a given branch
...
needs cleanup by a better shell scripter!!
2009-08-14 19:07:01 -04:00
