#841 Remove dependency to WML.
Metadata
| Property | Value |
|---|---|
| Reported by | Robert K (robertk@posteo.org) |
| Reported at | Nov 15, 2010 12:29 |
| Type | Feature Request |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Last edited by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Last edited at | Apr 29, 2011 14:26 |
| Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Closed at | Apr 29, 2011 14:26 |
| Closed in version | Unknown |
| Resolution | Fixed |
| Comment |
Description
To generate some of the documentation files wml is needed. However, these files could be generated by wml and the commited to dune-common/grid and the dependency to wml could be removed.
This software project seems to be dead: The current version was released 4 years ago. Release: 2.0.11 (19-Aug-2006) (see http://thewml.org/ )
wml is currently not running under gentoo and I guess other distribution will soon have the same problem.
Therefore: advantage -- less dependencies, less errors.