On Wed, 25 Mar 2020, Joseph Wright wrote:
> The structure of the .dtx is ... unusual. It's got the \begin{document} in

Yes, this is what I saw, too, but it was working before ;-)

> 'normal', i.e. moving the \begin{document} line, but I'm not sure if that is
> an acceptable fix.

Can you send a patch?



PREINING Norbert                              https://www.preining.info
Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13

Reply via email to