aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
Commit message (Expand)AuthorAgeFilesLines
* Copy benchmark *before* cd-ing into haddock dirJulien Tanguy2015-11-171-3/+3
* Copy benchmark report to haddockJulien Tanguy2015-11-171-0/+3
* Silence git messages in pushdoc.shJulien Tanguy2015-09-051-4/+10
* Fix typo in secure varJulien Tanguy2015-09-051-0/+1
* Make travis push haddock to gh-pagesJulien Tanguy2015-09-051-0/+24