Manpages of puppet in Debian wheezy