RE: "make install-docs" broken

On 07 May 2005 16:41, Sven Panne wrote:

> In the current HEAD "make install-docs" doesn't install the Haddock
> documentation for fptools/libraries anymore, only empty directories.
> If I see it correctly, it worked the last time I've tried it on
> 2005-04-23.

I don't see any problems here, apart from the fact that the install
tries to install directories (but that seems harmless).  Conceivable
that something has gone wrong though, since Krasimir changed the build
so that the Haddock docs from each package are placed in
fptools/libraries/html/<package> instead of
fptools/libraries/<package>/html.  The motivation was something to do
with building docs in MS Help format, I don't know the details.

Cheers,
	Simon