summaryrefslogtreecommitdiff
path: root/tools/gendocs.sh
Commit message (Collapse)AuthorAgeFilesLines
* gendocs: add option to choose pdf papersizeAlexis Hildebrandt2014-04-271-1/+15
| | | | | The default will be US Letter [ci skip]
* 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