Lines Matching refs:verbatim
2793 % Scan in ``verbatim'' mode:
4948 % LaTeX-like @verbatim...@end verbatim and @verb{<char>...<char>}
4957 % verbatim line.
4983 \tt % easiest (and conventionally used) font for verbatim
4994 % Setup for the @verbatim environment
5016 % Easiest (and conventionally used) font for verbatim
5029 % Do the @verb magic: verbatim text is quoted by unique
5044 % Do the @verbatim magic: define the macro \doverbatim so that
5045 % the (first) argument ends when '@end verbatim' is reached, ie:
5047 % \def\doverbatim#1@end verbatim{#1}
5050 % because texinfo's \verbatim doesn't stop at '\end{verbatim}':
5053 % Inspired by LaTeX's verbatim command set [latex.ltx]
5059 % of the @verbatim input line itself. Otherwise we get an extra blank
5061 \xdef\doverbatim#1^^M#2@end verbatim{#2\noexpand\end\gobble verbatim}%
5062 % We really want {...\end verbatim} in the body of the macro, but
5066 \envdef\verbatim{%
5072 % @verbatiminclude FILE - insert text of file in verbatim environment.