summaryrefslogtreecommitdiff
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
commit2602fb8e7165d4eb382dcb2480148d0beb142ed0 (patch)
treece6b02f0e58076b27d00250a103b342e4428ca6c
parentbfce132399896cdb206ba239728e39dc03e9356f (diff)
downloadgunmake-2602fb8e7165d4eb382dcb2480148d0beb142ed0.tar.gz
(\key): Typeset a lozenge around the argument (from
gildea@intouchsys.com).
-rw-r--r--texinfo.tex10
1 files changed, 9 insertions, 1 deletions
diff --git a/texinfo.tex b/texinfo.tex
index b2c246e..759e3c1 100644
--- a/texinfo.tex
+++ b/texinfo.tex
@@ -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