On Tue, 08 Aug 2017, Holger Levsen wrote: > http://sources.debian.net/src/jadetex/3.13-17/ I see a lot more files. Ahh, in the source package ... indeed ... ;-) But not in the binary. Norbert -- PREINING Norbert http://www.preining.info Accelia Inc. + JAIST + TeX Live + Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13