Skip to content

#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:

  1. also include html files generated with wml into the svn repository, or

  2. enhance WML check to be capable of this combiniation

  3. make dist fails if wml is not installed