aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
Commit message (Expand)AuthorAge
* the answer to the ultimate question in life is: 664Gravatar Benoit Jacob2009-10-06
* use provided $USER if available, let the caller do the update (safer)Gravatar Thomas Capricelli2009-10-04
* fix permissions 666->660Gravatar Benoit Jacob2009-10-02
* finally, actually purge the Main PageGravatar Benoit Jacob2009-10-02
* remove (changesets), it's enough numbers like thisGravatar Benoit Jacob2009-09-24
* * sort by last name alphabeticallyGravatar Benoit Jacob2009-09-24
* use -f so that the script is happy even if the log file is not thereGravatar Thomas Capricelli2009-09-24
* oops, don't append, overwriteGravatar Benoit Jacob2009-09-24
* improvements, especially: automatically flush the server side cacheGravatar Benoit Jacob2009-09-24
* fix typoGravatar Benoit Jacob2009-09-23
* add eigen_gen_credits scriptGravatar Benoit Jacob2009-09-23
* new script that update from mercurial, make the doc, and upload the resultGravatar Thomas Capricelli2009-08-15
* new script to generate and upload the docs for a given branchGravatar Benoit Jacob2009-08-14