aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts/eigen_gen_docs
Commit message (Collapse)AuthorAge
* simplify/uniformize eigen_gen_docsGravatar Thomas Capricelli2013-10-18
|
* fixes #568Gravatar Thomas Capricelli2013-03-19
| | | | | | | | | (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.
* uniformize eigen_gen_docs between branches / cleaningGravatar Thomas Capricelli2012-04-03
|
* eigen_gen_docs: dont try to update permissions on serverGravatar Thomas Capricelli2011-12-06
|
* 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!!