Hi Hilmar, On Thu, 01 Aug 2019, Hilmar Preuße wrote: > I've created a small patch, which add the missing option. Should I > commit it to our repo and later submit to upstream?
If it is in texlive-bin, then commit it to the git repo and send it upstream. If it is in texlive-nonbin (lang,base,extra) please only send it upstream and the next checkout will fix it automatically. > -fmt format > -fmt=FMTNAME use FMTNAME instead of program name or a %& line Both are fine. Best Norbert -- PREINING Norbert http://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
