Manpages of doomsday in Debian wheezy