diff options
| author | Paul Eggert <[email protected]> | 2014-05-13 16:15:48 -0700 |
|---|---|---|
| committer | Paul Eggert <[email protected]> | 2014-05-13 16:15:48 -0700 |
| commit | 692a1cc41786d43f61a3dd8e0024dcd602ef06b8 (patch) | |
| tree | 13c63ecc9605ab184b3412098b9ec25e97525263 /doc/misc | |
| parent | 0ec9847809a57b34d44791b4665df7969071bac4 (diff) | |
* texinfo.tex: Update from gnulib.
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/misc/texinfo.tex | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 9908b15219..4072227953 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog @@ -1,3 +1,7 @@ +2014-05-13 Paul Eggert <[email protected]> + + * texinfo.tex: Update from gnulib. + 2014-05-08 Michael Albinus <[email protected]> * tramp.texi (Frequently Asked Questions): Mention HISTFILE diff --git a/doc/misc/texinfo.tex b/doc/misc/texinfo.tex index 0f2673c849..cfb5c5607d 100644 --- a/doc/misc/texinfo.tex +++ b/doc/misc/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{2014-03-17.07} +\def\texinfoversion{2014-05-05.10} % % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, @@ -2146,7 +2146,7 @@ end \let\tenttsl=\secttsl \def\curfontsize{sec}% \def\lsize{subsec}\def\lllsize{reduced}% - \resetmathfonts \setleading{16pt}} + \resetmathfonts \setleading{17pt}} \def\subsecfonts{% \let\tenrm=\ssecrm \let\tenit=\ssecit \let\tensl=\ssecsl \let\tenbf=\ssecbf \let\tentt=\ssectt \let\smallcaps=\ssecsc |