diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/texinputs/python.sty | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Doc/texinputs/python.sty b/Doc/texinputs/python.sty index b4b6aea..9aa6700 100644 --- a/Doc/texinputs/python.sty +++ b/Doc/texinputs/python.sty @@ -805,9 +805,9 @@ $\!\rfloor\!$% }} \newcommand{\envvar}[1]{% - \$#1% $ <-- bow to font-lock 3 times! - \index{#1@{\$#1}}% $ - \index{environment variables!{\$#1}}% $ + #1% + \index{#1@{#1}}% + \index{environment variables!{#1}}% } \newcommand{\makevar}[1]{#1} % variable in a Makefile \newcommand{\character}[1]{\samp{#1}} |