Stefan Husmann - 2022-01-16

typo: latex-mk.texi, not late-mk.texi