[Dune-devel] make distcheck broken by Doxygen output

[Christoph Grüninger]

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.

Bye
Christoph

-- 
Die meisten Gebäude stammen aus einer Zeit, in der man auch
Türklinken aus Beton gemacht hätte, wenn das denn ginge.
[Spiegel Online, 25. Februar 2013]
*********************************************
CMWR 2014: 10th - 13th June 2014 in Stuttgart
          Please visit www.cmwr14.de
*********************************************