doc: build HTML even if man is not enabled, reduce time needed for man generation.
doc: build HTML even if man is not enabled, reduce time needed for man generation.

didier-barvaux/rohc,didier-barvaux/rohc,didier-barvaux/rohc,didier-barvaux/rohc,didier-barvaux/rohc