changeset 13048 | 8b2eb3b78cc3 |
parent 9613 | 817b74e9c5aa |
child 32234 | 96345b918125 |
--- a/doc-src/railsetup.sty Fri Mar 08 15:33:32 2002 +0100 +++ b/doc-src/railsetup.sty Fri Mar 08 15:53:15 2002 +0100 @@ -27,6 +27,6 @@ \def\rail@namefont{\small\rmfamily\itshape} \def\rail@indexfont{\small\rmfamily\itshape} \newcommand{\railtterm}[1]{{\texttt{#1}}} -\newcommand{\railtoken}[1]{{\textrm{#1}}} -\newcommand{\railqtoken}[1]{{\rmfamily\textsl{#1}}} +\newcommand{\railtok}[1]{{\textrm{#1}}} +\newcommand{\railqtok}[1]{{\rmfamily\textsl{#1}}} \newcommand{\railnonterm}[1]{{\emph{#1}}}