[Dune] Re: --disable-documentation.

[Robert Kloefkorn]

Hi Markus,

> I just checked. You were right. Now in all modules the documentation
> gets build even with disable-documentation and is included into the
> tarball. This procedure breaks if wml is not installed, of course.

> So reverting your patch is nonsense. It might not be optimal now but
> at least every module behaves the same.

That was also the reason, why I was suggesting to make the
disable-documentation option default. Then at least everything work for
everybody. The big problem arises when you have a tar ball that was
created with the --disable-documentation option (because for example wml
was not found) and then you configure that tar ball without the
--disable-documentation option, you get an error because some of the
files are not found then. Therefore I suggested to make the disable
option default, because then nobody would have to think about that an we
can fix that later (which is not so easy).

Regards

Robert

-- 

  Robert Klöfkorn           <robertk at mathematik.uni-freiburg.de>

  Mathematisches Institut              Tel: +49 (0) 761 203 5631
  Abt. für Angewandte Mathematik       Fax: +49 (0) 761 203 5632
  Universität Freiburg
  Hermann-Herder-Str. 10
  79104 Freiburg

  http://www.mathematik.uni-freiburg.de/IAM/homepages/robertk