#317 wml check needed.
Metadata
Property | Value |
---|---|
Reported by | Robert K (robertk@posteo.org) |
Reported at | Sep 17, 2007 16:40 |
Type | Bug Report |
Version | Git (pre2.4) [autotools] |
Operating System | Unspecified / All |
Last edited by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
Last edited at | Jan 3, 2008 23:56 |
Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
Closed at | Jan 3, 2008 23:56 |
Closed in version | 1.1 |
Resolution | Not a bug |
Comment |
Description
When wml is missing, the documenation build/dist fails. A configure test for wml would be nice to avoid these errors.