[Dune] [#512] Make dist fails in dune-grid-dev-howto

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

A new Flyspray task has been opened.  Details are below. 

User who did this - Oliver Sander (sander) 

Attached to Project - Dune
Summary - Make dist fails in dune-grid-dev-howto
Task Type - Bug Report
Category - Dune Modules
Status - New
Assigned To - 
Operating System - Unspecified / All
Severity - Medium
Priority - High
Reported Version - SVN
Due in Version - 1.2
Due Date - Undecided
Details - 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


More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=512

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.