[Dune] beta5 configuration problem

Markus Blatt Markus.Blatt at ipvs.uni-stuttgart.de
Mon Jul 16 19:36:01 CEST 2007


On Mon, Jul 16, 2007 at 07:23:25PM +0200, Markus Blatt wrote:
> 
> Until that just reunpack the tarballs to create the missing html files.
> Or install wml (website meta language) which is needed to create the
> html files and reconfigure the source.
> 

There is also a much easier option:

Use the --disable-documentation option (e.g. in the CONFIGURE_FLAGS in
your opts-file) when configuring and read the documentation online.

markus





More information about the Dune mailing list