On Tue, 20 Sep 2016, Karl Berry wrote: > I just made a tiny change to tex4ht.c (in Build/source/texk/tex4htk) x86_64-linux updated. Norbert -- PREINING Norbert + TeX Live & Debian Developer + http://www.preining.info GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13