[PATCH 0/2] Assist installing documentation with incomplete build chain

This patch series should clarify make targets for documentation and help those with partial or no documentation build chain, without breaking existing behaviour. Therefore, the current inconsistency between "make doc" (builds man and html doc) and "make install-doc" (installs man) is preserved.

The INSTALL file documents this now, as well as preexisting and new targets for building and installing man and html separately or from the convenience branches origin/{man,html}.

Michael J Gruber (2):
  allow installation of man and html doc from the man and html branches
  separate build targets for man and html documentation

 Documentation/Makefile |    4 ++++
 INSTALL                |   20 +++++++++++++++++---
 Makefile               |    9 +++++++++
 3 files changed, 30 insertions(+), 3 deletions(-)