---

16.7.2 ‘#line’ and TeX ¶

As mentioned, texi2any recognizes the ‘#line’ directives described in the previous section. However, texinfo.tex does not and cannot. Therefore, such a line will be incorrectly typeset verbatim if TeX sees it. The solution is to use texi2any’s macro expansion options before running TeX. There are three approaches:

• If you run texi2dvi or its variants (see Format with texi2dvi), you can pass -E and texi2dvi will run texi2any first to expand macros and eliminate ‘#line’.
• If you run texi2any, you can specify --no-ifinfo --iftex -E somefile.out, and then give somefile.out to texi2dvi in a separate command.
• Or you can run texi2any --dvi --Xopt -E. (Or --pdf instead of --dvi.) texi2any will then call texi2dvi -E.

One last caveat regarding use with TeX: since the #line directives are not recognized, the line numbers emitted by the @errormsg{} command (see Conditional Commands), or by TeX itself, are the (incorrect) line numbers from the derived file which TeX is reading, rather than the preprocessor-specified line numbers.