changeset 7740:a589558ebfc6

update from texinfo
author Karl Berry <karl@freefriends.org>
date Fri, 22 Dec 2006 17:25:43 +0000
parents 14932dd36171
children 049a8acd7495
files build-aux/texinfo.tex
diffstat 1 files changed, 223 insertions(+), 218 deletions(-) [+]
line wrap: on
line diff
--- 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{2006-12-05.11}
+\def\texinfoversion{2006-12-22.09}
 %
 % Copyright (C) 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006 Free
@@ -5283,12 +5283,18 @@
 \let\SETdispenvsize\relax
 \def\setnormaldispenv{%
   \ifx\SETdispenvsize\smallword
+    % end paragraph for sake of leading, in case document has no blank
+    % line.  This is redundant with what happens in \aboveenvbreak, but
+    % we need to do it before changing the fonts, and it's inconvenient
+    % to change the fonts afterward.
+    \ifnum \lastpenalty=10000 \else \endgraf \fi
     \smallexamplefonts \rm
   \fi
 }
 \def\setsmalldispenv{%
   \ifx\SETdispenvsize\nosmallword
   \else
+    \ifnum \lastpenalty=10000 \else \endgraf \fi
     \smallexamplefonts \rm
   \fi
 }
@@ -7189,234 +7195,233 @@
 %
 % Latin1 (ISO-8859-1) character definitions.
 \def\latonechardefs{%
-    \gdef^^a0{~} 
-    \gdef^^a1{\exclamdown}
-    \gdef^^a2{\missingcharmsg{CENT SIGN}} 
-    \gdef^^a3{{\pounds}}
-    \gdef^^a4{\missingcharmsg{CURRENCY SIGN}}
-    \gdef^^a5{\missingcharmsg{YEN SIGN}}
-    \gdef^^a6{\missingcharmsg{BROKEN BAR}} 
-    \gdef^^a7{\S}
-    \gdef^^a8{\"{}} 
-    \gdef^^a9{\copyright} 
-    \gdef^^aa{\ordf}
-    \gdef^^ab{\missingcharmsg{LEFT-POINTING DOUBLE ANGLE QUOTATION MARK}} 
-    \gdef^^ac{$\lnot$}
-    \gdef^^ad{\-} 
-    \gdef^^ae{\registeredsymbol} 
-    \gdef^^af{\={}}
-    %
-    \gdef^^b0{\textdegree}
-    \gdef^^b1{$\pm$}
-    \gdef^^b2{$^2$}
-    \gdef^^b3{$^3$}
-    \gdef^^b4{\'{}}
-    \gdef^^b5{$\mu$}
-    \gdef^^b6{\P}
-    %
-    \gdef^^b7{$^.$}
-    \gdef^^b8{\cedilla\ }
-    \gdef^^b9{$^1$}
-    \gdef^^ba{\ordm}
-    %
-    \gdef^^bb{\missingcharmsg{RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK}}
-    \gdef^^bc{$1\over4$}
-    \gdef^^bd{$1\over2$}
-    \gdef^^be{$3\over4$}
-    \gdef^^bf{\questiondown}
-    %
-    \gdef^^c0{\`A}
-    \gdef^^c1{\'A}
-    \gdef^^c2{\^A}
-    \gdef^^c3{\~A}
-    \gdef^^c4{\"A}
-    \gdef^^c5{\ringaccent A} 
-    \gdef^^c6{\AE}
-    \gdef^^c7{\cedilla C}
-    \gdef^^c8{\`E}
-    \gdef^^c9{\'E}
-    \gdef^^ca{\^E}
-    \gdef^^cb{\"E}
-    \gdef^^cc{\`I}
-    \gdef^^cd{\'I}
-    \gdef^^ce{\^I}
-    \gdef^^cf{\"I}
-    %
-    \gdef^^d0{\missingcharmsg{LATIN CAPITAL LETTER ETH}}
-    \gdef^^d1{\~N}
-    \gdef^^d2{\`O}
-    \gdef^^d3{\'O}
-    \gdef^^d4{\^O}
-    \gdef^^d5{\~O}
-    \gdef^^d6{\"O}
-    \gdef^^d7{$\times$}
-    \gdef^^d8{\O}
-    \gdef^^d9{\`U}
-    \gdef^^da{\'U}
-    \gdef^^db{\^U}
-    \gdef^^dc{\"U}
-    \gdef^^dd{\'Y}
-    \gdef^^de{\missingcharmsg{LATIN CAPITAL LETTER THORN}}
-    \gdef^^df{\ss}
-    %
-    \gdef^^e0{\`a}
-    \gdef^^e1{\'a}
-    \gdef^^e2{\^a}
-    \gdef^^e3{\~a}
-    \gdef^^e4{\"a}
-    \gdef^^e5{\ringaccent a}
-    \gdef^^e6{\ae}
-    \gdef^^e7{\cedilla c}
-    \gdef^^e8{\`e}
-    \gdef^^e9{\'e}
-    \gdef^^ea{\^e}
-    \gdef^^eb{\"e}
-    \gdef^^ec{\`{\dotless i}}
-    \gdef^^ed{\'{\dotless i}}
-    \gdef^^ee{\^{\dotless i}}
-    \gdef^^ef{\"{\dotless i}}
-    %
-    \gdef^^f0{\missingcharmsg{LATIN SMALL LETTER ETH}}
-    \gdef^^f1{\~n}
-    \gdef^^f2{\`o}
-    \gdef^^f3{\'o}
-    \gdef^^f4{\^o}
-    \gdef^^f5{\~o}
-    \gdef^^f6{\"o}
-    \gdef^^f7{$\div$}
-    \gdef^^f8{\o}
-    \gdef^^f9{\`u}
-    \gdef^^fa{\'u}
-    \gdef^^fb{\^u}
-    \gdef^^fc{\"u}
-    \gdef^^fd{\'y}
-    \gdef^^fe{\missingcharmsg{LATIN SMALL LETTER THORN}}
-    \gdef^^ff{\"y}
+  \gdef^^a0{~} 
+  \gdef^^a1{\exclamdown}
+  \gdef^^a2{\missingcharmsg{CENT SIGN}} 
+  \gdef^^a3{{\pounds}}
+  \gdef^^a4{\missingcharmsg{CURRENCY SIGN}}
+  \gdef^^a5{\missingcharmsg{YEN SIGN}}
+  \gdef^^a6{\missingcharmsg{BROKEN BAR}} 
+  \gdef^^a7{\S}
+  \gdef^^a8{\"{}} 
+  \gdef^^a9{\copyright} 
+  \gdef^^aa{\ordf}
+  \gdef^^ab{\missingcharmsg{LEFT-POINTING DOUBLE ANGLE QUOTATION MARK}} 
+  \gdef^^ac{$\lnot$}
+  \gdef^^ad{\-} 
+  \gdef^^ae{\registeredsymbol} 
+  \gdef^^af{\={}}
+  %
+  \gdef^^b0{\textdegree}
+  \gdef^^b1{$\pm$}
+  \gdef^^b2{$^2$}
+  \gdef^^b3{$^3$}
+  \gdef^^b4{\'{}}
+  \gdef^^b5{$\mu$}
+  \gdef^^b6{\P}
+  %
+  \gdef^^b7{$^.$}
+  \gdef^^b8{\cedilla\ }
+  \gdef^^b9{$^1$}
+  \gdef^^ba{\ordm}
+  %
+  \gdef^^bb{\missingcharmsg{RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK}}
+  \gdef^^bc{$1\over4$}
+  \gdef^^bd{$1\over2$}
+  \gdef^^be{$3\over4$}
+  \gdef^^bf{\questiondown}
+  %
+  \gdef^^c0{\`A}
+  \gdef^^c1{\'A}
+  \gdef^^c2{\^A}
+  \gdef^^c3{\~A}
+  \gdef^^c4{\"A}
+  \gdef^^c5{\ringaccent A} 
+  \gdef^^c6{\AE}
+  \gdef^^c7{\cedilla C}
+  \gdef^^c8{\`E}
+  \gdef^^c9{\'E}
+  \gdef^^ca{\^E}
+  \gdef^^cb{\"E}
+  \gdef^^cc{\`I}
+  \gdef^^cd{\'I}
+  \gdef^^ce{\^I}
+  \gdef^^cf{\"I}
+  %
+  \gdef^^d0{\missingcharmsg{LATIN CAPITAL LETTER ETH}}
+  \gdef^^d1{\~N}
+  \gdef^^d2{\`O}
+  \gdef^^d3{\'O}
+  \gdef^^d4{\^O}
+  \gdef^^d5{\~O}
+  \gdef^^d6{\"O}
+  \gdef^^d7{$\times$}
+  \gdef^^d8{\O}
+  \gdef^^d9{\`U}
+  \gdef^^da{\'U}
+  \gdef^^db{\^U}
+  \gdef^^dc{\"U}
+  \gdef^^dd{\'Y}
+  \gdef^^de{\missingcharmsg{LATIN CAPITAL LETTER THORN}}
+  \gdef^^df{\ss}
+  %
+  \gdef^^e0{\`a}
+  \gdef^^e1{\'a}
+  \gdef^^e2{\^a}
+  \gdef^^e3{\~a}
+  \gdef^^e4{\"a}
+  \gdef^^e5{\ringaccent a}
+  \gdef^^e6{\ae}
+  \gdef^^e7{\cedilla c}
+  \gdef^^e8{\`e}
+  \gdef^^e9{\'e}
+  \gdef^^ea{\^e}
+  \gdef^^eb{\"e}
+  \gdef^^ec{\`{\dotless i}}
+  \gdef^^ed{\'{\dotless i}}
+  \gdef^^ee{\^{\dotless i}}
+  \gdef^^ef{\"{\dotless i}}
+  %
+  \gdef^^f0{\missingcharmsg{LATIN SMALL LETTER ETH}}
+  \gdef^^f1{\~n}
+  \gdef^^f2{\`o}
+  \gdef^^f3{\'o}
+  \gdef^^f4{\^o}
+  \gdef^^f5{\~o}
+  \gdef^^f6{\"o}
+  \gdef^^f7{$\div$}
+  \gdef^^f8{\o}
+  \gdef^^f9{\`u}
+  \gdef^^fa{\'u}
+  \gdef^^fb{\^u}
+  \gdef^^fc{\"u}
+  \gdef^^fd{\'y}
+  \gdef^^fe{\missingcharmsg{LATIN SMALL LETTER THORN}}
+  \gdef^^ff{\"y}
 }
 
 % Latin9 (ISO-8859-15) encoding character definitions.
 \def\latninechardefs{%
-   % Encoding is almost identical to Latin1.
-   \latonechardefs
-   %
-   \gdef^^a4{\euro}
-   \gdef^^a6{\v S}
-   \gdef^^a8{\v s}
-   \gdef^^b4{\v Z}
-   \gdef^^b8{\v z}
-   \gdef^^bc{\OE}
-   \gdef^^bd{\oe}
-   \gdef^^be{\"Y}
+  % Encoding is almost identical to Latin1.
+  \latonechardefs
+  %
+  \gdef^^a4{\euro}
+  \gdef^^a6{\v S}
+  \gdef^^a8{\v s}
+  \gdef^^b4{\v Z}
+  \gdef^^b8{\v z}
+  \gdef^^bc{\OE}
+  \gdef^^bd{\oe}
+  \gdef^^be{\"Y}
 }
 
 % Latin2 (ISO-8859-2) character definitions.
 \def\lattwochardefs{%
-   \gdef^^a0{~}
-   \gdef^^a1{\missingcharmsg{LATIN CAPITAL LETTER A WITH OGONEK}}
-   \gdef^^a2{\u{}}
-   \gdef^^a3{\L}
-   \gdef^^a4{\missingcharmsg{CURRENCY SIGN}}
-   \gdef^^a5{\v L}
-   \gdef^^a6{\'S}
-   \gdef^^a7{\S}
-   \gdef^^a8{\"{}}
-   \gdef^^a9{\v S}
-   \gdef^^aa{\cedilla S}
-   \gdef^^ab{\v T}
-   \gdef^^ac{\'Z}
-   \gdef^^ad{\-}
-   \gdef^^ae{\v Z}
-   \gdef^^af{\dotaccent Z}
-   %
-   \gdef^^b0{\textdegree}
-   \gdef^^b1{\missingcharmsg{LATIN SMALL LETTER A WITH OGONEK}}
-   \gdef^^b2{\missingcharmsg{OGONEK}}
-   \gdef^^b3{\l}
-   \gdef^^b4{\'{}}
-   \gdef^^b5{\v l}
-   \gdef^^b6{\'s}
-   \gdef^^b7{\v{}}
-   \gdef^^b8{\cedilla\ }
-   \gdef^^b9{\v s}
-   \gdef^^ba{\cedilla s}
-   \gdef^^bb{\v t}
-   \gdef^^bc{\'z}
-   \gdef^^bd{\H{}}
-   \gdef^^be{\v z}
-   \gdef^^bf{\dotaccent z}
-   %
-   \gdef^^c0{\'R}
-   \gdef^^c1{\'A}
-   \gdef^^c2{\^A}
-   \gdef^^c3{\u A}
-   \gdef^^c4{\"A}
-   \gdef^^c5{\'L}
-   \gdef^^c6{\'C}
-   \gdef^^c7{\cedilla C}
-   \gdef^^c8{\v C}
-   \gdef^^c9{\'E}
-   \gdef^^ca{\missingcharmsg{LATIN CAPITAL LETTER E WITH OGONEK}}
-   \gdef^^cb{\"E}
-   \gdef^^cc{\v E}
-   \gdef^^cd{\'I}
-   \gdef^^ce{\^I}
-   \gdef^^cf{\v D}
-   %
-   \gdef^^d0{\missingcharmsg{LATIN CAPITAL LETTER D WITH STROKE}}
-   \gdef^^d1{\'N}
-   \gdef^^d2{\v N}
-   \gdef^^d3{\'O}
-   \gdef^^d4{\^O}
-   \gdef^^d5{\H O}
-   \gdef^^d6{\"O}
-   \gdef^^d7{$\times$}
-   \gdef^^d8{\v R}
-   \gdef^^d9{\ringaccent U} 
-   \gdef^^da{\'U}
-   \gdef^^db{\H U}
-   \gdef^^dc{\"U}
-   \gdef^^dd{\'Y}
-   \gdef^^de{\cedilla T}
-   \gdef^^df{\ss}
-   %
-   \gdef^^e0{\'r}
-   \gdef^^e1{\'a}
-   \gdef^^e2{\^a}
-   \gdef^^e3{\u a}
-   \gdef^^e4{\"a}
-   \gdef^^e5{\'l}
-   \gdef^^e6{\'c}
-   \gdef^^e7{\cedilla c}
-   \gdef^^e8{\v c}
-   \gdef^^e9{\'e}
-   \gdef^^ea{\missingcharmsg{LATIN SMALL LETTER E WITH OGONEK}}
-   \gdef^^eb{\"e}
-   \gdef^^ec{\v e}
-   \gdef^^ed{\'\i}
-   \gdef^^ee{\^\i}
-   \gdef^^ef{\v d}
-   %
-   \gdef^^f0{\missingcharmsg{LATIN SMALL LETTER D WITH STROKE}}
-   \gdef^^f1{\'n}
-   \gdef^^f2{\v n}
-   \gdef^^f3{\'o}
-   \gdef^^f4{\^o}
-   \gdef^^f5{\H o}
-   \gdef^^f6{\"o}
-   \gdef^^f7{$\div$}
-   \gdef^^f8{\v r}
-   \gdef^^f9{\ringaccent u}
-   \gdef^^fa{\'u}
-   \gdef^^fb{\H u}
-   \gdef^^fc{\"u}
-   \gdef^^fd{\'y}
-   \gdef^^fe{\cedilla t}
-   \gdef^^ff{\dotaccent{}}
+  \gdef^^a0{~}
+  \gdef^^a1{\missingcharmsg{LATIN CAPITAL LETTER A WITH OGONEK}}
+  \gdef^^a2{\u{}}
+  \gdef^^a3{\L}
+  \gdef^^a4{\missingcharmsg{CURRENCY SIGN}}
+  \gdef^^a5{\v L}
+  \gdef^^a6{\'S}
+  \gdef^^a7{\S}
+  \gdef^^a8{\"{}}
+  \gdef^^a9{\v S}
+  \gdef^^aa{\cedilla S}
+  \gdef^^ab{\v T}
+  \gdef^^ac{\'Z}
+  \gdef^^ad{\-}
+  \gdef^^ae{\v Z}
+  \gdef^^af{\dotaccent Z}
+  %
+  \gdef^^b0{\textdegree}
+  \gdef^^b1{\missingcharmsg{LATIN SMALL LETTER A WITH OGONEK}}
+  \gdef^^b2{\missingcharmsg{OGONEK}}
+  \gdef^^b3{\l}
+  \gdef^^b4{\'{}}
+  \gdef^^b5{\v l}
+  \gdef^^b6{\'s}
+  \gdef^^b7{\v{}}
+  \gdef^^b8{\cedilla\ }
+  \gdef^^b9{\v s}
+  \gdef^^ba{\cedilla s}
+  \gdef^^bb{\v t}
+  \gdef^^bc{\'z}
+  \gdef^^bd{\H{}}
+  \gdef^^be{\v z}
+  \gdef^^bf{\dotaccent z}
+  %
+  \gdef^^c0{\'R}
+  \gdef^^c1{\'A}
+  \gdef^^c2{\^A}
+  \gdef^^c3{\u A}
+  \gdef^^c4{\"A}
+  \gdef^^c5{\'L}
+  \gdef^^c6{\'C}
+  \gdef^^c7{\cedilla C}
+  \gdef^^c8{\v C}
+  \gdef^^c9{\'E}
+  \gdef^^ca{\missingcharmsg{LATIN CAPITAL LETTER E WITH OGONEK}}
+  \gdef^^cb{\"E}
+  \gdef^^cc{\v E}
+  \gdef^^cd{\'I}
+  \gdef^^ce{\^I}
+  \gdef^^cf{\v D}
+  %
+  \gdef^^d0{\missingcharmsg{LATIN CAPITAL LETTER D WITH STROKE}}
+  \gdef^^d1{\'N}
+  \gdef^^d2{\v N}
+  \gdef^^d3{\'O}
+  \gdef^^d4{\^O}
+  \gdef^^d5{\H O}
+  \gdef^^d6{\"O}
+  \gdef^^d7{$\times$}
+  \gdef^^d8{\v R}
+  \gdef^^d9{\ringaccent U} 
+  \gdef^^da{\'U}
+  \gdef^^db{\H U}
+  \gdef^^dc{\"U}
+  \gdef^^dd{\'Y}
+  \gdef^^de{\cedilla T}
+  \gdef^^df{\ss}
+  %
+  \gdef^^e0{\'r}
+  \gdef^^e1{\'a}
+  \gdef^^e2{\^a}
+  \gdef^^e3{\u a}
+  \gdef^^e4{\"a}
+  \gdef^^e5{\'l}
+  \gdef^^e6{\'c}
+  \gdef^^e7{\cedilla c}
+  \gdef^^e8{\v c}
+  \gdef^^e9{\'e}
+  \gdef^^ea{\missingcharmsg{LATIN SMALL LETTER E WITH OGONEK}}
+  \gdef^^eb{\"e}
+  \gdef^^ec{\v e}
+  \gdef^^ed{\'\i}
+  \gdef^^ee{\^\i}
+  \gdef^^ef{\v d}
+  %
+  \gdef^^f0{\missingcharmsg{LATIN SMALL LETTER D WITH STROKE}}
+  \gdef^^f1{\'n}
+  \gdef^^f2{\v n}
+  \gdef^^f3{\'o}
+  \gdef^^f4{\^o}
+  \gdef^^f5{\H o}
+  \gdef^^f6{\"o}
+  \gdef^^f7{$\div$}
+  \gdef^^f8{\v r}
+  \gdef^^f9{\ringaccent u}
+  \gdef^^fa{\'u}
+  \gdef^^fb{\H u}
+  \gdef^^fc{\"u}
+  \gdef^^fd{\'y}
+  \gdef^^fe{\cedilla t}
+  \gdef^^ff{\dotaccent{}}
 }
 
 % US-ASCII character definitions.
-\def\asciichardefs{%
-    % Nothing needs to be done
+\def\asciichardefs{% nothing need be done
    \relax
 }