diff -r f27cc0a43feb -r 8b2eb3b78cc3 doc-src/railsetup.sty --- 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}}}