diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/misc.ch')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/misc.ch | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/misc.ch b/Build/source/texk/web2c/pdftexdir/misc.ch new file mode 100644 index 00000000000..0d69f25597c --- /dev/null +++ b/Build/source/texk/web2c/pdftexdir/misc.ch @@ -0,0 +1,21 @@ +% WEB change file containing miscellany extensions for pdfTeX +% +% Copyright (c) 1996-2002 Han Th\^e\llap{\raise 0.5ex\hbox{\'{}}} Th\`anh, <thanh@pdftex.org> +% +% This file is part of pdfTeX. +% +% pdfTeX is free software; you can redistribute it and/or modify +% it under the terms of the GNU General Public License as published by +% the Free Software Foundation; either version 2 of the License, or +% (at your option) any later version. +% +% pdfTeX is distributed in the hope that it will be useful, +% but WITHOUT ANY WARRANTY; without even the implied warranty of +% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +% GNU General Public License for more details. +% +% You should have received a copy of the GNU General Public License +% along with pdfTeX; if not, write to the Free Software +% Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +% +% $Id: //depot/Build/source.development/TeX/texk/web2c/pdftexdir/misc.ch#5 $ |