diff options
author | Karl Berry <karl@freefriends.org> | 2010-06-14 01:59:43 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-06-14 01:59:43 +0000 |
commit | 5eb8436bb581ab751f34b45d5647d2d6dd20ba0f (patch) | |
tree | ddfa283470b6cbe5f5762235db02f7b0645bcbad /Build/source | |
parent | 09e9cc85fd7ba1de0ab022250406024b3f7aee9f (diff) |
/home/texlive/karl/Master/tlpkg/bin/tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@18962 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
-rw-r--r-- | Build/source/build-aux/texinfo.tex | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/Build/source/build-aux/texinfo.tex b/Build/source/build-aux/texinfo.tex index 5ea3f981e88..7eddd5d1703 100644 --- a/Build/source/build-aux/texinfo.tex +++ b/Build/source/build-aux/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 } |