Manpages of erlang-dev in Debian wheezy-backports