aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/eigen_gen_docs
Commit message (Collapse)AuthorAge
* add a command to fix the permission of the uploaded documentationGravatar Gael Guennebaud2011-12-03
|
* be nice with the server : dont use -j3Gravatar Thomas Capricelli2011-04-19
|
* fix the script again (definitely?) + cleaningGravatar Thomas Capricelli2010-01-22
|
* actually stop on failureGravatar Thomas Capricelli2010-01-06
|
* use provided $USER if available, let the caller do the update (safer)Gravatar Thomas Capricelli2009-10-04
|
* new script that update from mercurial, make the doc, and upload the resultGravatar Thomas Capricelli2009-08-15
| | | | to tuxfamily.org
* new script to generate and upload the docs for a given branchGravatar Benoit Jacob2009-08-14
needs cleanup by a better shell scripter!!