Remove the dollar sign from the formatting of environment variables --

freddrake · freddrake · commit 31ab298df665 · 2001-01-22T17:50:42.000Z
too Unix-specific, and not really needed.  (Already fixed the HTML
formatting, but forgot to mention it in the checkin for python.perl 1.94.)
diff --git 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}}
