summaryrefslogtreecommitdiff
path: root/tools/gendocs.sh
Commit message (Collapse)AuthorAgeFilesLines
* gendocs: use hombrew texinfo on mac if installedAlexis Hildebrandt2014-04-271-0/+8
| | | | | | | | The default texinfo (4.8) on Mac OS X shows odd warnings from a sed call and generates verbatim html tags in links if the part of the link was marked with @command{}. With a current version of texinfo (5.2) these oddities are gone. [ci skip]
* gendocs: make html documentationAlexis Hildebrandt2014-04-271-0/+2
| | | [ci skip]
* 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