TeX Live version: development (see http://tug.org/texlive) This file is public domain. (The first line of this file is output by texconfig conf.)