Norbert Preining <[EMAIL PROTECTED]> wrote: >> And generally I wonder: Don't you generate most of the documentation >> from dtx files, and many input files from the same dtx files? Then why > > No, I use what is in the depot of perforce texlive.
Right answer to my wrongly phrased question. The right question would have been: "Do you keep ready-made documentation in the repository, or are the documentation files created at build-time from the dtx files?". Obviously, the answer is they are not created at build time. Regards, Frank -- Frank Küster Inst. f. Biochemie der Univ. Zürich Debian Developer