Manpages of wmanager in Debian wheezy