Manpages of wmclock in Debian wheezy