summaryrefslogtreecommitdiff
path: root/tools/gendocs.sh
Commit message (Expand)AuthorAgeFilesLines
* gendocs: add option to choose pdf papersizeAlexis Hildebrandt2014-04-271-1/+15
* Added --quiet options to clean up the texi2pdt outputCraig Earls2012-10-191-1/+1
* Moved some files into their right locationsJohn Wiegley2012-02-101-0/+5