diff options
| author | karl <karl@138bc75d-0d04-0410-961f-82ee72b054a4> | 1996-08-20 18:37:11 +0000 |
|---|---|---|
| committer | karl <karl@138bc75d-0d04-0410-961f-82ee72b054a4> | 1996-08-20 18:37:11 +0000 |
| commit | 46f2c838553ecdb455f6170fb84a79bf54f16a34 (patch) | |
| tree | 47f2cd764704ed2ca849917353cacedadd44ecff /gcc/texinfo.tex | |
| parent | b4b010d57d81c4c05ca0d26b7b159a4bd5772d7a (diff) | |
| download | gcc-46f2c838553ecdb455f6170fb84a79bf54f16a34.tar.gz | |
(\key): Typeset a lozenge around the argument (from
gildea@intouchsys.com).
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@12664 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/texinfo.tex')
| -rw-r--r-- | gcc/texinfo.tex | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/gcc/texinfo.tex b/gcc/texinfo.tex index 4d2c51033f1..d870bc1fcf3 100644 --- a/gcc/texinfo.tex +++ b/gcc/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.177 $ +\deftexinfoversion$Revision: 2.178 $ \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 |