[PATCH 7/7] doc/INSTALL: Remove rst2man reference and other updates

[David Bremner]

"W. Trevor King" <wking at tremily.us> writes:

>   {build|install}-man, which is backend (Sphinx/Docutils) agnostic
>   sphinx-{html|texinfo|info}, which doesn't have an install target
>
> Is that distinction intentional?  Personally I prefer the consistency
> of:
>
>   {build|install}-{man|html|texinfo|info}
>

I think the sphinx- prefix is a historical accident, from when we tried
to control backend with targets, so I don't really mind those switching
(back?) to build-

install-man is backend agnostic. Similar targets could be written for
html and info, but no-one did yet. I guess we'd need variables to
specify destinations. Installing info is a bit tricky because of the
need to use install-info(1) to update directory files