manpagez: man pages & more
info texinfo
Home | html | info | man
[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

19.6.2 ‘#line’ and TeX

As mentioned, makeinfo 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 makeinfo’s macro expansion options before running TeX. There are three approaches:

One last caveat regarding use with TeX: since the #line directives are not recognized, the line numbers emitted by the @errormsg{} command (see section 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. This is another example of why we recommend running makeinfo for the best diagnostics (see section makeinfo Advantages).


[ << ] [ < ] [ Up ] [ > ] [ >> ]         [Top] [Contents] [Index] [ ? ]

This document was generated on October 2, 2013 using texi2html 5.0.

© manpagez.com 2000-2017
Individual documents may contain additional copyright information.