Lines Matching full:verbatim
4724 % LaTeX-like @verbatim...@end verbatim and @verb{<char>...<char>}
4733 % verbatim line.
4759 \tt % easiest (and conventionally used) font for verbatim
4770 % Setup for the @verbatim environment
4790 % Easiest (and conventionally used) font for verbatim
4803 % Do the @verb magic: verbatim text is quoted by unique
4818 % Do the @verbatim magic: define the macro \doverbatim so that
4819 % the (first) argument ends when '@end verbatim' is reached, ie:
4821 % \def\doverbatim#1@end verbatim{#1}
4824 % because texinfo's \verbatim doesn't stop at '\end{verbatim}':
4827 % Inspired by LaTeX's verbatim command set [latex.ltx]
4832 %% \catcode`\\=12|gdef|doverbatim#1@end verbatim[
4833 %% #1|endgroup|def|Everbatim[]|end[verbatim]]
4840 % of the @verbatim input line itself. Otherwise we get an extra blank
4842 \gdef\doverbatim#1^^M#2@end verbatim{#2\end{verbatim}}%
4845 \def\verbatim{%
4853 % @verbatiminclude FILE - insert text of file in verbatim environment.
