comparison build-aux/texinfo.tex @ 9741:0a9b1b35df19

update from texinfo
author Karl Berry <karl@freefriends.org>
date Fri, 29 Feb 2008 15:22:57 -0800
parents 13b4ffc67d52
children d317709d2071
comparison
equal deleted inserted replaced
9740:4eb6c6560d4f 9741:0a9b1b35df19
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{2008-02-15.11} 6 \def\texinfoversion{2008-02-28.18}
7 % 7 %
8 % Copyright (C) 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, 8 % Copyright (C) 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 Free Software Foundation, Inc. 10 % 2007, 2008 Free Software Foundation, Inc.
11 % 11 %
915 \def\temp{\inleftmargin\lefttext}% 915 \def\temp{\inleftmargin\lefttext}%
916 \fi 916 \fi
917 \temp 917 \temp
918 } 918 }
919 919
920 % @include file insert text of that file as input. 920 % @include FILE -- \input text of FILE.
921 % 921 %
922 \def\include{\parseargusing\filenamecatcodes\includezzz} 922 \def\include{\parseargusing\filenamecatcodes\includezzz}
923 \def\includezzz#1{% 923 \def\includezzz#1{%
924 \pushthisfilestack 924 \pushthisfilestack
925 \def\thisfile{#1}% 925 \def\thisfile{#1}%
926 {% 926 {%
927 \makevalueexpandable 927 \makevalueexpandable % we want to expand any @value in FILE.
928 \input #1 928 \edef\temp{\noexpand\input #1 }%
929 }% 929 %
930 % This trickery is to read FILE outside of a group, in case it makes
931 % definitions, etc.
932 \expandafter
933 }\temp
930 \popthisfilestack 934 \popthisfilestack
931 } 935 }
932 \def\filenamecatcodes{% 936 \def\filenamecatcodes{%
933 \catcode`\\=\other 937 \catcode`\\=\other
934 \catcode`~=\other 938 \catcode`~=\other