diff options
| author | Karl Berry <karl@gnu.org> | 1996-08-31 19:08:16 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1996-08-31 19:08:16 +0000 |
| commit | b2cd2155a01d8277ea2f50271b972da30348b5ca (patch) | |
| tree | f6be15d0c4276ef52ec17302b3475158f462bf42 /manual/texinfo.tex | |
| parent | adfa20781b59473b9514c6c4bef40ea909a6eacd (diff) | |
| download | glibc-b2cd2155a01d8277ea2f50271b972da30348b5ca.tar.gz glibc-b2cd2155a01d8277ea2f50271b972da30348b5ca.tar.xz glibc-b2cd2155a01d8277ea2f50271b972da30348b5ca.zip | |
(\key): Do not uppercase the argument; key names can be mixed case, e.g., `Control'.
Diffstat (limited to 'manual/texinfo.tex')
| -rw-r--r-- | manual/texinfo.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/texinfo.tex b/manual/texinfo.tex index 6107af3e29..4514dd7260 100644 --- a/manual/texinfo.tex +++ b/manual/texinfo.tex @@ -35,7 +35,7 @@ % This automatically updates the version number based on RCS. \def\deftexinfoversion$#1: #2 ${\def\texinfoversion{#2}} -\deftexinfoversion$Revision: 2.179 $ +\deftexinfoversion$Revision: 2.180 $ \message{Loading texinfo package [Version \texinfoversion]:} % If in a .fmt file, print the version number @@ -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} |