Manpages of glosstex in Debian wheezy