Simon Marlow writes:
The same technique works for Happy, Haddock Alex, except that
some of these (I forget which) didn't have the doc directory
included in the standard build, so you had to go into eg. happy/doc
and say 'make install-docs' explicitly.
Adding SGMLDocWays := html to each
Simon Marlow writes:
The same technique works for Happy, Haddock Alex, except that
some of these (I forget which) didn't have the doc directory
included in the standard build, so you had to go into eg. happy/doc
and say 'make install-docs' explicitly.
Adding SGMLDocWays :=
Ian Lynagh writes:
echo SGMLDocWays := html dvi ps mk/build.mk
This works great! Is there any chance I can extend this technique so
that it will include the documentation of, say happy, haddock, and
alex as well?
The same technique works for Happy, Haddock Alex, except that some
Ian Lynagh writes:
echo SGMLDocWays := html dvi ps mk/build.mk
This works great! Is there any chance I can extend this technique so
that it will include the documentation of, say happy, haddock, and
alex as well?
Peter
P. S.: I'm sorry ... I guess I should really read the documentation
On Wed, Sep 17, 2003 at 06:27:03PM +0200, Peter Simons wrote:
Pardon me if this is a dumb question, but is there a make target,
which I can use to install all documentation that comes with the
build? I am aware of make install-docs, but this doesn't build nor
install, say, the user's guide.
