docs: simplify the docs build a tiny bit

HTML_TARGETS includes MAN_HTML_TARGETS, so when we depend on HTML_TARGETS
we don't need to also depend on MAN_HTML_TARGETS.

Signed-off-by: Sebastian Kuzminsky <seb@highlab.com>