Lines Matching full:verbatim
4074 % Scan in ``verbatim'' mode:
4136 % Ignore anything after the last `@end #1'; this matters in verbatim
6617 % LaTeX-like @verbatim...@end verbatim and @verb{<char>...<char>}
6626 % verbatim line.
6633 % @verbatim, and ?` and !` ligatures won't get disabled.
6650 \tt % easiest (and conventionally used) font for verbatim
6661 % Setup for the @verbatim environment
6666 % We typeset each line of the verbatim in an \hbox, so we can handle
6667 % tabs. The \global is in case the verbatim line starts with an accent,
6670 % it is typeset. Meanwhile, we can't have nested verbatim commands
6689 % start the verbatim environment.
6693 \tt % easiest (and conventionally used) font for verbatim
6695 % never \starttabox and the \egroup would end verbatim mode.
6698 \setupmarkupstyle{verbatim}%
6707 % Do the @verb magic: verbatim text is quoted by unique
6722 % Do the @verbatim magic: define the macro \doverbatim so that
6723 % the (first) argument ends when '@end verbatim' is reached, ie:
6725 % \def\doverbatim#1@end verbatim{#1}
6728 % because texinfo's \verbatim doesn't stop at '\end{verbatim}':
6731 % Inspired by LaTeX's verbatim command set [latex.ltx]
6737 % of the @verbatim input line itself. Otherwise we get an extra blank
6739 \xdef\doverbatim#1^^M#2@end verbatim{#2\noexpand\end\gobble verbatim}%
6740 % We really want {...\end verbatim} in the body of the macro, but
6744 \envdef\verbatim{%
6750 % @verbatiminclude FILE - insert text of file in verbatim environment.
