usr/share/man/man1/plus42bin.1 usr/share/man/man1/plus42dec.1
