Manpages of edenmath.app in Debian jessie