#741 build error in "dune-grid-howto" (dune version 2.0)
Metadata
| Property | Value |
|---|---|
| Reported by | Adrian Ngo (adrian.ngo@iwr.uni-heidelberg.de) |
| Reported at | Feb 17, 2010 10:48 |
| Type | Bug Report |
| Version | Git (pre2.4) [autotools] |
| Operating System | Linux |
| Last edited by | Jö Fahlke (jorrit@jorrit.de) |
| Last edited at | Mar 2, 2010 15:13 |
| Closed by | Jö Fahlke (jorrit@jorrit.de) |
| Closed at | Mar 2, 2010 15:13 |
| Closed in version | Unknown |
| Resolution | Fixed |
| Comment | fixed in revision 299 |
Description
"navigation.html" missing during build of "dune-grid-howto" (dune version 2.0) Installation of wml resolves the problem.