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

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.)
This commit is contained in:
Fred Drake 2001-01-22 17:50:42 +00:00
parent 0a8690a0ad
commit 31ab298df6

View File

@ -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}}