From: Fred Drake Date: Mon, 22 Jan 2001 17:50:42 +0000 (+0000) Subject: Remove the dollar sign from the formatting of environment variables -- X-Git-Tag: v2.1a1~30 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=31ab298df665e949fdafe388f5933338bc8c1e73;p=thirdparty%2FPython%2Fcpython.git 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.) --- diff --git a/Doc/texinputs/python.sty b/Doc/texinputs/python.sty index b4b6aea31d62..9aa6700e22d9 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}}