[Dune] [#1128] Specifying --with-duneweb breaks doxygen if wml is missing (Attachment added)

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

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

User who did this - Markus Blatt (mblatt) 

Attached to Project - Dune
Summary - Specifying --with-duneweb breaks doxygen if wml is missing
Task Type - Bug Report
Category - Build-System
Status - New
Assigned To - 
Operating System - Unspecified / All
Severity - Low
Priority - Normal
Reported Version - 2.0
Due in Version - Undecided
Due Date - Undecided
Details - When specifying --with-duneweb durng configure with no wml installed, building the doxygen documentation breaks because of missing `doxy-header.html;

if test -f ./Doxylocal && test ./Doxylocal -nt ./Doxyfile.in; then 
          cd ../.. && /home/mblatt/src/dune/current/dune-common/bin/dunedoxynize; 
        fi
set -e; 
        if ! test -e "doxygen-tag" || 
           test x"`find ../.. ( -name *.cc -o -name *.hh -o -name *.png -o -name Doxyfile -o -name modules ) -a -cnewer doxygen-tag -print`" != x; 
        then 
            echo Running doxygen. This may take a while... ; 
            doxygen Doxyfile > doxygen.log <&-; 
            touch doxygen-tag ; 
            if test "$DOXYQUIET" != "1" && test -f doxyerr.log; 
              then cat doxyerr.log; fi; 
            if test -x "/update-doxygen.css"; 
              then /update-doxygen.css /home/mblatt/src/dune/current/dune-common/doc/doxygen/html; fi; 
        fi
Running doxygen. This may take a while...
error: tag HTML_HEADER: header file `doxy-header.html' does not exist
make[3]: *** [doxygen-tag] Fehler 1
make[3]: Leaving directory `/home/mblatt/src/dune/current/dune-common/doc/doxygen'
make[2]: *** [doc-recursive] Fehler 1
make[2]: Leaving directory `/home/mblatt/src/dune/current/dune-common/doc/doxygen'
make[1]: *** [doc-recursive] Fehler 1
make[1]: Leaving directory `/home/mblatt/src/dune/current/dune-common/doc'
make: *** [doc-recursive] Fehler 1

It works if either wml is installed or we do not specify --with-duneweb

One or more files have been attached.

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

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.