diff options
author | Karl Berry <karl@freefriends.org> | 2017-12-03 09:18:35 -0800 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-12-03 09:18:35 -0800 |
commit | d418ac3dd839104dcccd990f2c6149c6ad6f89bb (patch) | |
tree | 211addbe75e56e3cb537424b90ea5daec857bd3d | |
parent | 82edd0e68b9e88fb24c1d32ad815083f66fae1ef (diff) | |
download | gnulib-d418ac3dd839104dcccd990f2c6149c6ad6f89bb.tar.gz |
autoupdate
-rw-r--r-- | build-aux/texinfo.tex | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex index e2bf51af8c..5d05ba5ca1 100644 --- a/build-aux/texinfo.tex +++ b/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{2017-11-17.06} +\def\texinfoversion{2017-12-01.13} % % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, @@ -2503,13 +2503,25 @@ end % In order for the font changes to affect most math symbols and letters, -% we have to define the \textfont of the standard families. We don't -% bother to reset \scriptfont and \scriptscriptfont; awaiting user need. +% we have to define the \textfont of the standard families. % \def\resetmathfonts{% \textfont0=\rmfont \textfont1=\ifont \textfont2=\syfont \textfont\itfam=\itfont \textfont\slfam=\slfont \textfont\bffam=\bffont \textfont\ttfam=\ttfont \textfont\sffam=\sffont + % + \scriptfont0=\rmfont \scriptfont1=\ifont \scriptfont2=\syfont + \scriptfont\itfam=\itfont \scriptfont\slfam=\slfont \scriptfont\bffam=\bffont + \scriptfont\ttfam=\ttfont \scriptfont\sffam=\sffont + % + \scriptscriptfont0=\rmfont + \scriptscriptfont1=\ifont + \scriptscriptfont2=\syfont + \scriptscriptfont\itfam=\itfont + \scriptscriptfont\slfam=\slfont + \scriptscriptfont\bffam=\bffont + \scriptscriptfont\ttfam=\ttfont + \scriptscriptfont\sffam=\sffont } % |