Mercurial > gnulib
comparison build-aux/texinfo.tex @ 18355:5f691c615e16
update from texinfo
| author | Karl Berry <karl@freefriends.org> |
|---|---|
| date | Tue, 02 Aug 2016 06:00:57 -0700 |
| parents | 434c390c7df3 |
| children | c1f278e4885e |
comparison
equal
deleted
inserted
replaced
| 18354:7d41849f49e3 | 18355:5f691c615e16 |
|---|---|
| 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{2016-07-31.17} | 6 \def\texinfoversion{2016-08-01.14} |
| 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, 2016 | 10 % 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016 |
| 11 % Free Software Foundation, Inc. | 11 % Free Software Foundation, Inc. |
| 1559 % XeTeX < 0.99995 can not handle Unicode destination names for PDF | 1559 % XeTeX < 0.99995 can not handle Unicode destination names for PDF |
| 1560 % because xdvipdfmx 20150315 has a UTF-16 conversion issue. | 1560 % because xdvipdfmx 20150315 has a UTF-16 conversion issue. |
| 1561 % It is fixed by xdvipdfmx 20160106 (TeX Live SVN r39753). | 1561 % It is fixed by xdvipdfmx 20160106 (TeX Live SVN r39753). |
| 1562 \txiuseunicodedestnamefalse | 1562 \txiuseunicodedestnamefalse |
| 1563 \fi | 1563 \fi |
| 1564 % | |
| 1565 % Color support | |
| 1566 % | |
| 1567 \def\rgbDarkRed{0.50 0.09 0.12} | |
| 1568 \def\rgbBlack{0 0 0} | |
| 1569 % | |
| 1570 \def\pdfsetcolor#1{\special{pdf:scolor [#1]}} | |
| 1571 % | |
| 1572 % Set color, and create a mark which defines \thiscolor accordingly, | |
| 1573 % so that \makeheadline knows which color to restore. | |
| 1574 \def\setcolor#1{% | |
| 1575 \xdef\lastcolordefs{\gdef\noexpand\thiscolor{#1}}% | |
| 1576 \domark | |
| 1577 \pdfsetcolor{#1}% | |
| 1578 } | |
| 1579 % | |
| 1580 \def\maincolor{\rgbBlack} | |
| 1581 \pdfsetcolor{\maincolor} | |
| 1582 \edef\thiscolor{\maincolor} | |
| 1583 \def\lastcolordefs{} | |
| 1584 % | |
| 1585 \def\makefootline{% | |
| 1586 \baselineskip24pt | |
| 1587 \line{\pdfsetcolor{\maincolor}\the\footline}% | |
| 1588 } | |
| 1589 % | |
| 1590 \def\makeheadline{% | |
| 1591 \vbox to 0pt{% | |
| 1592 \vskip-22.5pt | |
| 1593 \line{% | |
| 1594 \vbox to8.5pt{}% | |
| 1595 % Extract \thiscolor definition from the marks. | |
| 1596 \getcolormarks | |
| 1597 % Typeset the headline with \maincolor, then restore the color. | |
| 1598 \pdfsetcolor{\maincolor}\the\headline\pdfsetcolor{\thiscolor}% | |
| 1599 }% | |
| 1600 \vss | |
| 1601 }% | |
| 1602 \nointerlineskip | |
| 1603 } | |
| 1564 % | 1604 % |
| 1565 % PDF outline support | 1605 % PDF outline support |
| 1566 % | 1606 % |
| 1567 % Emulate pdfTeX primitive | 1607 % Emulate pdfTeX primitive |
| 1568 \def\pdfdest name#1 xyz{% | 1608 \def\pdfdest name#1 xyz{% |