Manpages of disc-cover in Debian wheezy