#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