From: Karl Berry <karl@gnu.org>
Date: Sat, 31 Aug 1996 19:08:16 +0000 (+0000)
Subject: (\key): Do not uppercase the argument; key names
X-Git-Tag: 3.75.1~73
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=4e361d0f01a402b51da882e37bc2f68f03d0023e;p=platform%2Fupstream%2Fmake.git

(\key): Do not uppercase the argument; key names
can be mixed case, e.g., `Control'.
---

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}