doc/: Added local rules to hook HTML manpages into 'make (install-)html'.