Manpages of hol88 in Debian jessie