Commit 1627a8a2b9f705ece265af70c1805a7c78b04965

Karl Berry 2015-04-07T14:50:26

gendocs: new option --tex for texi2dvi options