Manpages of rest2web in Debian jessie