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?
Thanks
Best
Norbert
--
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
