On Thu, 10 Mar 2011, Adrian Klaver wrote:
> When I went to check I found my source install of 9.0.3 did not install
> docs. Comparing the GNUMakefiles from an 8.4 and 9.0.3 install shows that
> the docs have been split out to the targets docs: and install-docs: and
> are no longer in the targets all: and install:
Thanks for tracking this down, Adrian.
Rich