[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