% Thomas Esser, 1998. public domain. \input plain \ifx\pdfoutput\undefined \def\TexinfoPackageName{texinfo } \else \def\TexinfoPackageName{pdftexinfo } \fi \expandafter\input\TexinfoPackageName @dump @endinput