diff Doc/texinputs/python.sty @ 19412:d4ba6e2aaae3 legacy-trunk

New \grammartoken markup, similar to \token but allowed everywhere.
author Fred Drake <fdrake@acm.org>
date Mon, 20 Aug 2001 21:36:38 +0000
parents dac9cca49012
children 12a787fb71df
line wrap: on
line diff
--- a/Doc/texinputs/python.sty	Mon Aug 20 21:33:41 2001 +0000
+++ b/Doc/texinputs/python.sty	Mon Aug 20 21:36:38 2001 +0000
@@ -867,11 +867,13 @@
 \newcommand{\citetitle}[2][URL]{\emph{#2}}
 
 
+\newcommand{\grammartoken}[1]{\texttt{#1}}
 \newenvironment{productionlist}[1][\py@badkey]{
   \def\optional##1{{\Large[}##1{\Large]}}
   \def\production##1##2{\code{##1}&::=&\code{##2}\\}
   \def\orgroup##1{{\def\or{\textbar\ }##1}}
   \def\token##1{##1}
+  \let\grammartoken=\token
   \begin{center}
     \begin{tabular}{lcl}
 }{%