comparison build-aux/texinfo.tex @ 17981:ae60e3d729d8

update from texinfo
author Karl Berry <karl@freefriends.org>
date Wed, 06 May 2015 11:21:10 -0700
parents 1a4219ef5f25
children 1beb80b43852
comparison
equal deleted inserted replaced
17980:c4e1430551b7 17981:ae60e3d729d8
1 % texinfo.tex -- TeX macros to handle Texinfo files. 1 % texinfo.tex -- TeX macros to handle Texinfo files.
2 % 2 %
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{2015-04-29.11} 6 \def\texinfoversion{2015-05-06.11}
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,
10 % 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015 10 % 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015
11 % Free Software Foundation, Inc. 11 % Free Software Foundation, Inc.
3020 }}% 3020 }}%
3021 \kern-.15em 3021 \kern-.15em
3022 \TeX 3022 \TeX
3023 } 3023 }
3024 3024
3025 % Some math mode symbols. 3025 % Some math mode symbols. Define \ensuremath to switch into math mode
3026 \def\bullet{$\ptexbullet$} 3026 % unless we are already there. Expansion tricks may not be needed here,
3027 \def\geq{\ifmmode \ge\else $\ge$\fi} 3027 % but safer, and can't hurt.
3028 \def\leq{\ifmmode \le\else $\le$\fi} 3028 \def\ensuremath{\ifmmode \expandafter\asis \else\expandafter\ensuredmath \fi}
3029 \def\minus{\ifmmode -\else $-$\fi} 3029 \def\ensuredmath#1{$\relax#1$}
3030 %
3031 \def\bullet{\ensuremath\ptexbullet}
3032 \def\geq{\ensuremath\ge}
3033 \def\leq{\ensuremath\le}
3034 \def\minus{\ensuremath-}
3030 3035
3031 % @dots{} outputs an ellipsis using the current font. 3036 % @dots{} outputs an ellipsis using the current font.
3032 % We do .5em per period so that it has the same spacing in the cm 3037 % We do .5em per period so that it has the same spacing in the cm
3033 % typewriter fonts as three actual period characters; on the other hand, 3038 % typewriter fonts as three actual period characters; on the other hand,
3034 % in other typewriter fonts three periods are wider than 1.5em. So do 3039 % in other typewriter fonts three periods are wider than 1.5em. So do
9036 \gdef^^b2{$^2$} 9041 \gdef^^b2{$^2$}
9037 \gdef^^b3{$^3$} 9042 \gdef^^b3{$^3$}
9038 \gdef^^b4{\'{}} 9043 \gdef^^b4{\'{}}
9039 \gdef^^b5{$\mu$} 9044 \gdef^^b5{$\mu$}
9040 \gdef^^b6{\P} 9045 \gdef^^b6{\P}
9041 \gdef^^b7{\ifmmode\cdot\else $\cdot$\fi} 9046 \gdef^^b7{\ensuremath\cdot}
9042 \gdef^^b8{\cedilla\ } 9047 \gdef^^b8{\cedilla\ }
9043 \gdef^^b9{$^1$} 9048 \gdef^^b9{$^1$}
9044 \gdef^^ba{\ordm} 9049 \gdef^^ba{\ordm}
9045 \gdef^^bb{\guillemetright} 9050 \gdef^^bb{\guillemetright}
9046 \gdef^^bc{$1\over4$} 9051 \gdef^^bc{$1\over4$}
9395 \DeclareUnicodeCharacter{00A7}{\S} 9400 \DeclareUnicodeCharacter{00A7}{\S}
9396 \DeclareUnicodeCharacter{00A8}{\"{ }} 9401 \DeclareUnicodeCharacter{00A8}{\"{ }}
9397 \DeclareUnicodeCharacter{00A9}{\copyright} 9402 \DeclareUnicodeCharacter{00A9}{\copyright}
9398 \DeclareUnicodeCharacter{00AA}{\ordf} 9403 \DeclareUnicodeCharacter{00AA}{\ordf}
9399 \DeclareUnicodeCharacter{00AB}{\guillemetleft} 9404 \DeclareUnicodeCharacter{00AB}{\guillemetleft}
9400 \DeclareUnicodeCharacter{00AC}{\ifmmode\lnot\else $\lnot$\fi} 9405 \DeclareUnicodeCharacter{00AC}{\ensuremath\lnot}
9401 \DeclareUnicodeCharacter{00AD}{\-} 9406 \DeclareUnicodeCharacter{00AD}{\-}
9402 \DeclareUnicodeCharacter{00AE}{\registeredsymbol} 9407 \DeclareUnicodeCharacter{00AE}{\registeredsymbol}
9403 \DeclareUnicodeCharacter{00AF}{\={ }} 9408 \DeclareUnicodeCharacter{00AF}{\={ }}
9404 9409
9405 \DeclareUnicodeCharacter{00B0}{\ringaccent{ }} 9410 \DeclareUnicodeCharacter{00B0}{\ringaccent{ }}
9406 \DeclareUnicodeCharacter{00B1}{\ifmmode\pm\else $\pm$\fi} 9411 \DeclareUnicodeCharacter{00B1}{\ensuremath\pm}
9407 \DeclareUnicodeCharacter{00B2}{$^2$} 9412 \DeclareUnicodeCharacter{00B2}{$^2$}
9408 \DeclareUnicodeCharacter{00B3}{$^3$} 9413 \DeclareUnicodeCharacter{00B3}{$^3$}
9409 \DeclareUnicodeCharacter{00B4}{\'{ }} 9414 \DeclareUnicodeCharacter{00B4}{\'{ }}
9410 \DeclareUnicodeCharacter{00B5}{$\mu$} 9415 \DeclareUnicodeCharacter{00B5}{$\mu$}
9411 \DeclareUnicodeCharacter{00B6}{\P} 9416 \DeclareUnicodeCharacter{00B6}{\P}
9412 \DeclareUnicodeCharacter{00B7}{\ifmmode\cdot\else $\cdot$\fi} 9417 \DeclareUnicodeCharacter{00B7}{\ensuremath\cdot}
9413 \DeclareUnicodeCharacter{00B8}{\cedilla{ }} 9418 \DeclareUnicodeCharacter{00B8}{\cedilla{ }}
9414 \DeclareUnicodeCharacter{00B9}{$^1$} 9419 \DeclareUnicodeCharacter{00B9}{$^1$}
9415 \DeclareUnicodeCharacter{00BA}{\ordm} 9420 \DeclareUnicodeCharacter{00BA}{\ordm}
9416 \DeclareUnicodeCharacter{00BB}{\guillemetright} 9421 \DeclareUnicodeCharacter{00BB}{\guillemetright}
9417 \DeclareUnicodeCharacter{00BC}{$1\over4$} 9422 \DeclareUnicodeCharacter{00BC}{$1\over4$}
9441 \DeclareUnicodeCharacter{00D2}{\`O} 9446 \DeclareUnicodeCharacter{00D2}{\`O}
9442 \DeclareUnicodeCharacter{00D3}{\'O} 9447 \DeclareUnicodeCharacter{00D3}{\'O}
9443 \DeclareUnicodeCharacter{00D4}{\^O} 9448 \DeclareUnicodeCharacter{00D4}{\^O}
9444 \DeclareUnicodeCharacter{00D5}{\~O} 9449 \DeclareUnicodeCharacter{00D5}{\~O}
9445 \DeclareUnicodeCharacter{00D6}{\"O} 9450 \DeclareUnicodeCharacter{00D6}{\"O}
9446 \DeclareUnicodeCharacter{00D7}{\ifmmode\times\else $\times$\fi} 9451 \DeclareUnicodeCharacter{00D7}{\ensuremath\times}
9447 \DeclareUnicodeCharacter{00D8}{\O} 9452 \DeclareUnicodeCharacter{00D8}{\O}
9448 \DeclareUnicodeCharacter{00D9}{\`U} 9453 \DeclareUnicodeCharacter{00D9}{\`U}
9449 \DeclareUnicodeCharacter{00DA}{\'U} 9454 \DeclareUnicodeCharacter{00DA}{\'U}
9450 \DeclareUnicodeCharacter{00DB}{\^U} 9455 \DeclareUnicodeCharacter{00DB}{\^U}
9451 \DeclareUnicodeCharacter{00DC}{\"U} 9456 \DeclareUnicodeCharacter{00DC}{\"U}
9475 \DeclareUnicodeCharacter{00F2}{\`o} 9480 \DeclareUnicodeCharacter{00F2}{\`o}
9476 \DeclareUnicodeCharacter{00F3}{\'o} 9481 \DeclareUnicodeCharacter{00F3}{\'o}
9477 \DeclareUnicodeCharacter{00F4}{\^o} 9482 \DeclareUnicodeCharacter{00F4}{\^o}
9478 \DeclareUnicodeCharacter{00F5}{\~o} 9483 \DeclareUnicodeCharacter{00F5}{\~o}
9479 \DeclareUnicodeCharacter{00F6}{\"o} 9484 \DeclareUnicodeCharacter{00F6}{\"o}
9480 \DeclareUnicodeCharacter{00F7}{\ifmmode\div\else $\div$\fi} 9485 \DeclareUnicodeCharacter{00F7}{\ensuremath\div}
9481 \DeclareUnicodeCharacter{00F8}{\o} 9486 \DeclareUnicodeCharacter{00F8}{\o}
9482 \DeclareUnicodeCharacter{00F9}{\`u} 9487 \DeclareUnicodeCharacter{00F9}{\`u}
9483 \DeclareUnicodeCharacter{00FA}{\'u} 9488 \DeclareUnicodeCharacter{00FA}{\'u}
9484 \DeclareUnicodeCharacter{00FB}{\^u} 9489 \DeclareUnicodeCharacter{00FB}{\^u}
9485 \DeclareUnicodeCharacter{00FC}{\"u} 9490 \DeclareUnicodeCharacter{00FC}{\"u}
9544 \DeclareUnicodeCharacter{0133}{ij} 9549 \DeclareUnicodeCharacter{0133}{ij}
9545 \DeclareUnicodeCharacter{0134}{\^J} 9550 \DeclareUnicodeCharacter{0134}{\^J}
9546 \DeclareUnicodeCharacter{0135}{\^{\dotless{j}}} 9551 \DeclareUnicodeCharacter{0135}{\^{\dotless{j}}}
9547 \DeclareUnicodeCharacter{0136}{\cedilla{K}} 9552 \DeclareUnicodeCharacter{0136}{\cedilla{K}}
9548 \DeclareUnicodeCharacter{0137}{\cedilla{k}} 9553 \DeclareUnicodeCharacter{0137}{\cedilla{k}}
9549 \DeclareUnicodeCharacter{0138}{\ifmmode\kappa\else $\kappa$\fi} 9554 \DeclareUnicodeCharacter{0138}{\ensuremath\kappa}
9550 \DeclareUnicodeCharacter{0139}{\'L} 9555 \DeclareUnicodeCharacter{0139}{\'L}
9551 \DeclareUnicodeCharacter{013A}{\'l} 9556 \DeclareUnicodeCharacter{013A}{\'l}
9552 \DeclareUnicodeCharacter{013B}{\cedilla{L}} 9557 \DeclareUnicodeCharacter{013B}{\cedilla{L}}
9553 \DeclareUnicodeCharacter{013C}{\cedilla{l}} 9558 \DeclareUnicodeCharacter{013C}{\cedilla{l}}
9554 \DeclareUnicodeCharacter{013D}{L'}% should kern 9559 \DeclareUnicodeCharacter{013D}{L'}% should kern
9811 \DeclareUnicodeCharacter{2019}{\quoteright} 9816 \DeclareUnicodeCharacter{2019}{\quoteright}
9812 \DeclareUnicodeCharacter{201A}{\quotesinglbase} 9817 \DeclareUnicodeCharacter{201A}{\quotesinglbase}
9813 \DeclareUnicodeCharacter{201C}{\quotedblleft} 9818 \DeclareUnicodeCharacter{201C}{\quotedblleft}
9814 \DeclareUnicodeCharacter{201D}{\quotedblright} 9819 \DeclareUnicodeCharacter{201D}{\quotedblright}
9815 \DeclareUnicodeCharacter{201E}{\quotedblbase} 9820 \DeclareUnicodeCharacter{201E}{\quotedblbase}
9821 \DeclareUnicodeCharacter{2020}{\ensuremath\dagger}
9822 \DeclareUnicodeCharacter{2021}{\ensuremath\ddagger}
9816 \DeclareUnicodeCharacter{2022}{\bullet} 9823 \DeclareUnicodeCharacter{2022}{\bullet}
9817 \DeclareUnicodeCharacter{2026}{\dots} 9824 \DeclareUnicodeCharacter{2026}{\dots}
9818 \DeclareUnicodeCharacter{2039}{\guilsinglleft} 9825 \DeclareUnicodeCharacter{2039}{\guilsinglleft}
9819 \DeclareUnicodeCharacter{203A}{\guilsinglright} 9826 \DeclareUnicodeCharacter{203A}{\guilsinglright}
9820 \DeclareUnicodeCharacter{20AC}{\euro} 9827 \DeclareUnicodeCharacter{20AC}{\euro}
9822 \DeclareUnicodeCharacter{2192}{\expansion} 9829 \DeclareUnicodeCharacter{2192}{\expansion}
9823 \DeclareUnicodeCharacter{21D2}{\result} 9830 \DeclareUnicodeCharacter{21D2}{\result}
9824 9831
9825 \DeclareUnicodeCharacter{2212}{\minus} 9832 \DeclareUnicodeCharacter{2212}{\minus}
9826 \DeclareUnicodeCharacter{2217}{\point} 9833 \DeclareUnicodeCharacter{2217}{\point}
9834 \DeclareUnicodeCharacter{2225}{\ensuremath\parallel}
9827 \DeclareUnicodeCharacter{2261}{\equiv} 9835 \DeclareUnicodeCharacter{2261}{\equiv}
9828 }% end of \utfeightchardefs 9836 }% end of \utfeightchardefs
9829 9837
9830 % US-ASCII character definitions. 9838 % US-ASCII character definitions.
9831 \def\asciichardefs{% nothing need be done 9839 \def\asciichardefs{% nothing need be done