On Fri, 22 May 2015 10:05:46 -0700 Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote: > I presume texi2any can replace texi2pdf as well, if that's not found? The limited research I can be bothered with suggests texi2any, while it does have a PDF mode, actually depends on texi2dvi/texi2pdf in texinfo 5. pws