summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@gnu.org>1996-08-31 19:08:16 +0000
committerKarl Berry <karl@gnu.org>1996-08-31 19:08:16 +0000
commit4e361d0f01a402b51da882e37bc2f68f03d0023e (patch)
tree59d2c918b2a6ed8f4c8d64ee3b8f703c8a690771
parentd5d49d2e5ac1fdbdf008ffa10ae8b9402349b408 (diff)
downloadgunmake-4e361d0f01a402b51da882e37bc2f68f03d0023e.tar.gz
(\key): Do not uppercase the argument; key names
can be mixed case, e.g., `Control'.
-rw-r--r--texinfo.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/texinfo.tex b/texinfo.tex
index 759e3c1..7614465 100644
--- a/texinfo.tex
+++ b/texinfo.tex
@@ -1197,7 +1197,7 @@ where each line of input produces a line of output.}
\def\key#1{{\smallrm\textfont2=\smallsy \leavevmode\hbox{%
\raise0.4pt\hbox{$\langle$}\kern-.08em\vtop{%
\vbox{\hrule\kern-0.4pt
- \hbox{\raise0.4pt\hbox{\vphantom{$\langle$}}\uppercase{#1}}}%
+ \hbox{\raise0.4pt\hbox{\vphantom{$\langle$}}#1}}%
\kern-0.4pt\hrule}%
\kern-.06em\raise0.4pt\hbox{$\rangle$}}}}
%\def\key #1{{\ttsl \nohyphenation \uppercase{#1}}\null}