summary refs log tree commit diff
path: root/manual
diff options
context:
space:
mode:
authorKarl Berry <karl@gnu.org>1996-08-20 18:37:11 +0000
committerKarl Berry <karl@gnu.org>1996-08-20 18:37:11 +0000
commitf77a6b9e45f5f0faeb8770a573f04607b5b42e74 (patch)
treeddc8a2f82f2672a0bdf9e413e719a2384b548201 /manual
parent39778c6c9e6455303979aca2dc4685bf56cdc9be (diff)
downloadglibc-f77a6b9e45f5f0faeb8770a573f04607b5b42e74.tar.gz
glibc-f77a6b9e45f5f0faeb8770a573f04607b5b42e74.tar.xz
glibc-f77a6b9e45f5f0faeb8770a573f04607b5b42e74.zip
(\key): Typeset a lozenge around the argument (from gildea@intouchsys.com).
Diffstat (limited to 'manual')
-rw-r--r--manual/texinfo.tex12
1 files changed, 10 insertions, 2 deletions
diff --git a/manual/texinfo.tex b/manual/texinfo.tex
index 93b2803568..6107af3e29 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.178 $
+\deftexinfoversion$Revision: 2.179 $
 \message{Loading texinfo package [Version \texinfoversion]:}
 
 % If in a .fmt file, print the version number
@@ -1192,7 +1192,15 @@ where each line of input produces a line of output.}
 }
 \let\ttfont=\t
 \def\samp #1{`\tclose{#1}'\null}
-\def\key #1{{\ttsl \nohyphenation \uppercase{#1}}\null}
+\setfont\smallrm\rmshape{8}{1000}
+\font\smallsy=cmsy9
+\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}}}%
+    \kern-0.4pt\hrule}%
+  \kern-.06em\raise0.4pt\hbox{$\rangle$}}}}
+%\def\key #1{{\ttsl \nohyphenation \uppercase{#1}}\null}
 \def\ctrl #1{{\tt \rawbackslash \hat}#1}
 
 \let\file=\samp