#451 html files missing in tar balls when wml is unavailable.
Metadata
| Property | Value | 
|---|---|
| Reported by | Robert K (robertk@posteo.org) | 
| Reported at | Nov 4, 2008 10:02 | 
| 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 | Nov 25, 2009 11:43 | 
| Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) | 
| Closed at | Nov 25, 2009 11:43 | 
| Closed in version | Unknown | 
| Resolution | Fixed | 
| Comment | 
Description
When the dist tar ball is generated on a computer where wml is not installed, the html files in doc/devel/ will not be included in the tar ball. This leads to an error when this tar ball then is used on a machine where wml is installed because then the files in doc/devel are missing.
I see three possibilities to fix this:
- 
also include html files generated with wml into the svn repository, or 
- 
enhance WML check to be capable of this combiniation 
- 
make dist fails if wml is not installed