[Dune-devel] make distcheck broken by Doxygen output

[Christian Engwer]

On Fri, Jan 10, 2014 at 12:49:12AM +0100, Christoph Grüninger wrote:
> Hi Dune,
> make distcheck seems to be broken, at least when I tried with
> dune-common and dune-geometry it complains about some files
> remaining after cleaning. These files belong to Doxygen and
> the HTML output and the log files generated by make doc.
> In the configure flags of dune-grid-howto is an added
> --disable-documentation which was added by Christian with the
> commit message to work around failing distcheck.
> 
> Has someone an idea what's wrong? I think the Doxygen files
> have to be added to the files to clean.

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.

As the official tarballs already contain the docs, we tried to
convince the autotools to keep the docs...

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.

Ciao
Christian