diff options
author | Karl Berry <karl@freefriends.org> | 2010-06-14 22:43:27 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-06-14 22:43:27 +0000 |
commit | 4f7583d5179d45d9bb1f183450e8fba6dfb7cc5f (patch) | |
tree | fd18f800eb66dff8213cd242eabc373eab942719 /Master/texmf-dist/tex/texinfo | |
parent | d94f3638f393bd0be2a67c6f1a8dbbee4de96b1b (diff) |
rm dup texnansi, avoid dup augie.ali, autoupdate
git-svn-id: svn://tug.org/texlive/trunk@18980 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/texinfo')
-rw-r--r-- | Master/texmf-dist/tex/texinfo/texinfo.tex | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/Master/texmf-dist/tex/texinfo/texinfo.tex b/Master/texmf-dist/tex/texinfo/texinfo.tex index 5ea3f981e88..7eddd5d1703 100644 --- a/Master/texmf-dist/tex/texinfo/texinfo.tex +++ b/Master/texmf-dist/tex/texinfo/texinfo.tex @@ -3,7 +3,7 @@ % Load plain if necessary, i.e., if running under initex. \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi % -\def\texinfoversion{2010-05-22.17} +\def\texinfoversion{2010-06-10.11} % % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, @@ -2064,8 +2064,9 @@ end % @fonttextsize 10 % (or 11) to redefine the text font size. pt is assumed. % -\def\xword{10} \def\xiword{11} +\def\xword{10} +\def\xwordpt{10pt} % \parseargdef\fonttextsize{% \def\textsizearg{#1}% @@ -2785,7 +2786,18 @@ end \def\LaTeX{% L\kern-.36em {\setbox0=\hbox{T}% - \vbox to \ht0{\hbox{\selectfonts\lllsize A}\vss}}% + \vbox to \ht0{\hbox{% + \ifx\textnominalsize\xwordpt + % for 10pt running text, \lllsize (8pt) is too small for the A in LaTeX. + % Revert to plain's \scriptsize, which is 7pt. + \count255=\the\fam $\fam\count255 \scriptstyle A$% + \else + % For 11pt, we can use our lllsize. + \selectfonts\lllsize A% + \fi + }% + \vss + }}% \kern-.15em \TeX } |