dilim/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2026-08-12 22:16:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

(\key): Do not uppercase the argument; key names

Browse Source 
can be mixed case, e.g., `Control'.
This commit is contained in:
Karl Berry
1996-08-31 19:08:16 +00:00
parent d5d49d2e5a
commit 4e361d0f01
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
texinfo.tex
View File

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