Mercurial > gnulib
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 |