#512 Make dist fails in dune-grid-dev-howto

Metadata

Property	Value
Reported by	Oliver Sander (oliver.sander@tu-dresden.de)
Reported at	Mar 3, 2009 11:28
Type	Bug Report
Version	Git (pre2.4) [autotools]
Operating System	Unspecified / All
Last edited by	Oliver Sander (oliver.sander@tu-dresden.de)
Last edited at	Mar 3, 2009 17:44
Closed by	Oliver Sander (oliver.sander@tu-dresden.de)
Closed at	Mar 3, 2009 17:44
Closed in version	1.2
Resolution	Fixed
Comment	In revisions 36 (trunk) and 37 (release branch).

Description

Make dist fails for the module dune-grid-dev-howto.

The error message is

make[3]: Leaving directory `/export/local-1/daten/users/sander/dune-1.2/dune-grid-dev-howto/doc/doxygen' rm -rf html set -e; if test -e Doxyfile; then ( cat Doxyfile; echo "HTML_HEADER = doxy-header.html"; echo "HTML_FOOTER = doxy-footer.html"; echo "HTML_STYLESHEET = dune-doxy.css"; echo "SHORT_NAMES = YES"; ) > Doxyfile.tmp; echo Running doxygen. This may take a while... ; doxygen Doxyfile.tmp > doxygen.log 2>&1 <&- ; rm -f Doxyfile.tmp; fi if test -d html; then rm -rf html-dist; mv html html-dist; fi cp: Aufruf von stat für „./html-dist“ nicht möglich: Datei oder Verzeichnis nicht gefunden make[2]: *** [distdir] Fehler 1

This is a 1.2 issue