diff options
| author | Paul Eggert | 2017-11-25 22:28:31 -0800 |
|---|---|---|
| committer | Paul Eggert | 2017-11-25 22:48:09 -0800 |
| commit | 8be3aee2813f528b02bc913ca4d79e34e72b1754 (patch) | |
| tree | af1e8e35cedfe601076eade046a1a12303b93e84 /doc | |
| parent | 265cee553f9d59a989d92e28865f6cc6fc02dcc9 (diff) | |
| download | emacs-8be3aee2813f528b02bc913ca4d79e34e72b1754.tar.gz emacs-8be3aee2813f528b02bc913ca4d79e34e72b1754.zip | |
Merge from Gnulib
This incorporates:
2017-11-23 stat: work around Solaris bug with tv_nsec < 0
2017-11-12 maint: shorten https://lists.gnu.org/archive/html/... links
* build-aux/config.sub, doc/misc/texinfo.tex, lib/allocator.h:
* lib/fstatat.c, lib/intprops.h, lib/lstat.c, lib/signal.in.h:
* lib/stat-time.h, lib/stdio-impl.h, lib/stdio.in.h:
* lib/timespec.h, m4/alloca.m4, m4/extern-inline.m4:
* m4/faccessat.m4, m4/fstatat.m4, m4/gnulib-common.m4:
* m4/lstat.m4, m4/std-gnu11.m4, m4/sys_types_h.m4:
* m4/vararrays.m4:
Copy from Gnulib.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/misc/texinfo.tex | 49 |
1 files changed, 28 insertions, 21 deletions
diff --git a/doc/misc/texinfo.tex b/doc/misc/texinfo.tex index 022c3f5b370..e2bf51af8c0 100644 --- a/doc/misc/texinfo.tex +++ b/doc/misc/texinfo.tex | |||
| @@ -3,7 +3,7 @@ | |||
| 3 | % Load plain if necessary, i.e., if running under initex. | 3 | % Load plain if necessary, i.e., if running under initex. |
| 4 | \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi | 4 | \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi |
| 5 | % | 5 | % |
| 6 | \def\texinfoversion{2017-09-11.18} | 6 | \def\texinfoversion{2017-11-17.06} |
| 7 | % | 7 | % |
| 8 | % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, | 8 | % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, |
| 9 | % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, | 9 | % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, |
| @@ -5969,24 +5969,30 @@ end | |||
| 5969 | % Split the last of the double-column material. | 5969 | % Split the last of the double-column material. |
| 5970 | \savemarks | 5970 | \savemarks |
| 5971 | \balancecolumns | 5971 | \balancecolumns |
| 5972 | % | 5972 | }% |
| 5973 | \eject % call the \output just set | ||
| 5974 | \ifdim\pagetotal=0pt | ||
| 5973 | % Having called \balancecolumns once, we do not | 5975 | % Having called \balancecolumns once, we do not |
| 5974 | % want to call it again. Therefore, reset \output to its normal | 5976 | % want to call it again. Therefore, reset \output to its normal |
| 5975 | % definition right away. | 5977 | % definition right away. |
| 5976 | \global\output = {\onepageout{\pagecontents\PAGE}}% | 5978 | \global\output = {\onepageout{\pagecontents\PAGE}}% |
| 5977 | }% | 5979 | % |
| 5978 | \eject | 5980 | \endgroup % started in \begindoublecolumns |
| 5979 | \endgroup % started in \begindoublecolumns | 5981 | \restoremarks |
| 5980 | \restoremarks | 5982 | % Leave the double-column material on the current page, no automatic |
| 5981 | % Leave the double-column material on the current page, no automatic | 5983 | % page break. |
| 5982 | % page break. | 5984 | \box\balancedcolumns |
| 5983 | \box\balancedcolumns | 5985 | % |
| 5984 | % | 5986 | % \pagegoal was set to the doubled \vsize above, since we restarted |
| 5985 | % \pagegoal was set to the doubled \vsize above, since we restarted | 5987 | % the current page. We're now back to normal single-column |
| 5986 | % the current page. We're now back to normal single-column | 5988 | % typesetting, so reset \pagegoal to the normal \vsize. |
| 5987 | % typesetting, so reset \pagegoal to the normal \vsize. | 5989 | \global\vsize = \txipageheight % |
| 5988 | \global\vsize = \txipageheight % | 5990 | \pagegoal = \txipageheight % |
| 5989 | \pagegoal = \txipageheight % | 5991 | \else |
| 5992 | % We had some left-over material. This might happen when \doublecolumnout | ||
| 5993 | % is called in \balancecolumns. Try again. | ||
| 5994 | \expandafter\enddoublecolumns | ||
| 5995 | \fi | ||
| 5990 | } | 5996 | } |
| 5991 | \newbox\balancedcolumns | 5997 | \newbox\balancedcolumns |
| 5992 | \setbox\balancedcolumns=\vbox{shouldnt see this}% | 5998 | \setbox\balancedcolumns=\vbox{shouldnt see this}% |
| @@ -6001,6 +6007,7 @@ end | |||
| 6001 | \ifdim\dimen@<5\baselineskip | 6007 | \ifdim\dimen@<5\baselineskip |
| 6002 | % Don't split a short final column in two. | 6008 | % Don't split a short final column in two. |
| 6003 | \setbox2=\vbox{}% | 6009 | \setbox2=\vbox{}% |
| 6010 | \global\setbox\balancedcolumns=\vbox{\pagesofar}% | ||
| 6004 | \else | 6011 | \else |
| 6005 | \divide\dimen@ by 2 % target to split to | 6012 | \divide\dimen@ by 2 % target to split to |
| 6006 | \dimen@ii = \dimen@ | 6013 | \dimen@ii = \dimen@ |
| @@ -6016,15 +6023,15 @@ end | |||
| 6016 | \repeat | 6023 | \repeat |
| 6017 | }% | 6024 | }% |
| 6018 | % Now the left column is in box 1, and the right column in box 3. | 6025 | % Now the left column is in box 1, and the right column in box 3. |
| 6026 | % | ||
| 6019 | % Check whether the left column has come out higher than the page itself. | 6027 | % Check whether the left column has come out higher than the page itself. |
| 6020 | % (Note that we have doubled \vsize for the double columns, so | 6028 | % (Note that we have doubled \vsize for the double columns, so |
| 6021 | % the actual height of the page is 0.5\vsize). | 6029 | % the actual height of the page is 0.5\vsize). |
| 6022 | \ifdim2\ht1>\vsize | 6030 | \ifdim2\ht1>\vsize |
| 6023 | % Just split the last of the double column material roughly in half. | 6031 | % It appears that we have been called upon to balance too much material. |
| 6024 | \setbox2=\box0 | 6032 | % Output some of it with \doublecolumnout, leaving the rest on the page. |
| 6025 | \setbox0 = \vsplit2 to \dimen@ii | 6033 | \setbox\PAGE=\box0 |
| 6026 | \setbox0=\vbox to \dimen@ii {\unvbox0\vfill}% | 6034 | \doublecolumnout |
| 6027 | \setbox2=\vbox to \dimen@ii {\unvbox2\vfill}% | ||
| 6028 | \else | 6035 | \else |
| 6029 | % Compare the heights of the two columns. | 6036 | % Compare the heights of the two columns. |
| 6030 | \ifdim4\ht1>5\ht3 | 6037 | \ifdim4\ht1>5\ht3 |
| @@ -6037,10 +6044,10 @@ end | |||
| 6037 | \setbox2=\vbox to\ht1{\unvbox3\unskip}% | 6044 | \setbox2=\vbox to\ht1{\unvbox3\unskip}% |
| 6038 | \setbox0=\vbox to\ht1{\unvbox1\unskip}% | 6045 | \setbox0=\vbox to\ht1{\unvbox1\unskip}% |
| 6039 | \fi | 6046 | \fi |
| 6047 | \global\setbox\balancedcolumns=\vbox{\pagesofar}% | ||
| 6040 | \fi | 6048 | \fi |
| 6041 | \fi | 6049 | \fi |
| 6042 | % | 6050 | % |
| 6043 | \global\setbox\balancedcolumns=\vbox{\pagesofar}% | ||
| 6044 | } | 6051 | } |
| 6045 | \catcode`\@ = \other | 6052 | \catcode`\@ = \other |
| 6046 | 6053 | ||