[Dune] [#741] build error in "dune-grid-howto" (dune version 2.0)

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

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

User who did this - Adrian Ngo (ngo) 

Attached to Project - Dune
Summary - build error in "dune-grid-howto" (dune version 2.0)
Task Type - Bug Report
Category - Grid-Howto
Status - Unconfirmed
Assigned To - 
Operating System - Linux
Severity - Low
Priority - Normal
Reported Version - SVN (pre2.0)
Due in Version - Undecided
Due Date - Undecided
Details - "navigation.html" missing during build of "dune-grid-howto" (dune version 2.0)
Installation of wml resolves the problem.


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

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.