> Currently, I can't dump the pdftexinfo format. See below. What happened to What's wrong with texi2dvi --pdf or texi2pdf (which is about the same)? In the "old days" there used to exist an inofficial pdf-enabled pdftexinfo.tex, but these days, texinfo.tex ist completely sufficient. Where do we need the format for? Thomas