Manpages of gnushogi in Debian wheezy