Use `texi2dvi --pdf', not `texi2pdf'.
authorTaylor R Campbell <campbell@mumble.net>
Fri, 30 Aug 2013 15:45:21 +0000 (15:45 +0000)
committerTaylor R Campbell <campbell@mumble.net>
Fri, 30 Aug 2013 15:45:25 +0000 (15:45 +0000)
commit2c9f3184f959a1eed7363252d486efe2140b9a4e
tree2d6ba71227bea3609c61169c9b1f8c935afd5f17
parent00f7a86f7da162db5504952b968f2268bbe215ea
Use `texi2dvi --pdf', not `texi2pdf'.

No functional difference, but texi2pdf is a newer utility not found
in older versions of GNU Texinfo that are still prevalent.
doc/make-common.in