>>>>> David Kastrup <[log in to unmask]> (DK) wrote: DK> That is a nobrainer. The .dtx file. Of course, you probably hoped DK> for the former, so no harm in asking...