ShengHuo ZHU <zsh(a)cs.rochester.edu&gt; writes: This dropps out rather valuable information. Let's consider the first ＠iflatex ... ＠end iflatex section: \documentclass[twoside,a4paper,openright,11pt]{book} \usepackage[latin1]{inputenc} \usepackage{pagestyle} \usepackage{epsfig} \usepackage{bembo} \usepackage{pixidx} \makeindex \begin{document} \newcommand{\gnuschaptername}{} \newcommand{\gnussectionname}{} \newcommand{\gnusbackslash}{/} %% And so on ... (NP) Further they use \begin{titlepage} ... \end{titlepage} to format nice titlepage, and \tableofcontents and \gnuscleardoublepage to print the table of contents. I have printed this manual using sed. The script did the same as the perl above but is a bit faster and does not require perl ;) sed -e '/＠iflatex/,/＠end iflatex/d' gnus.texi > gnus-modified.texi texi2dvi gnus-modified.texi Anyway unless we have texinfo that supports ＠iflatex we should drop out ＠iflatex ... ＠end iflatex sections. Nick.