]> git.ipfire.org Git - thirdparty/Python/cpython.git/commitdiff
Remove the dollar sign from the formatting of environment variables --
authorFred Drake <fdrake@acm.org>
Mon, 22 Jan 2001 17:50:42 +0000 (17:50 +0000)
committerFred Drake <fdrake@acm.org>
Mon, 22 Jan 2001 17:50:42 +0000 (17:50 +0000)
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.)

Doc/texinputs/python.sty

index b4b6aea31d628b8650f3f8a671a3be932f6dca83..9aa6700e22d9a36147692eef68816426567c315b 100644 (file)
    $\!\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}}