[Dune-devel] make distcheck broken by Doxygen output

[Christoph Grüninger]

Hi Christian,
thanks for your answer.

> No, you should not add the doxygen files to clean, because otherwise
> the users will end up with deleted docs. The reason is that the user
> wants to read the doxygen docs even if doxygen is not installed.

Wired use case, I haven't thought about that :-)

> Honestly, I forgot the technical details how to fix this. If the
> trouble presists we can try to get a grip on it end of next
> week. Sorry, but before that I'm really booked out.

That'd be great. I do not intent to include the fix in the upcoming
release anyway.

Bye
Christoph

-- 
Une science n'était vraiment développée que quand elle
pouvait utiliser les mathématiques.    (Paul Lafargue)
*********************************************
CMWR 2014: 10th - 13th June 2014 in Stuttgart
         Please visit www.cmwr14.de
*********************************************