Manpages of tix-dev in Debian wheezy