]> Savannah Git Hosting - gnulib.git/commit
gendocs: new option --tex for texi2dvi options
authorKarl Berry <karl@freefriends.org>
Tue, 7 Apr 2015 21:50:26 +0000 (14:50 -0700)
committerKarl Berry <karl@freefriends.org>
Tue, 7 Apr 2015 21:50:26 +0000 (14:50 -0700)
commit1627a8a2b9f705ece265af70c1805a7c78b04965
tree2a6d1b54797eea5015984e6f80e43a196091a71e
parent3e2dcf7b9f5a042d819fec55932d79cd63821c5d
gendocs: new option --tex for texi2dvi options
ChangeLog
build-aux/gendocs.sh