[Dune] [#451] html files missing in tar balls when wml is unavailable.

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

A new Flyspray task has been opened.  Details are below. 

User who did this - Robert Klöfkorn (robertk) 

Attached to Project - Dune
Summary - html files missing in tar balls when wml is unavailable.  
Task Type - Bug Report
Category - Common
Status - New
Assigned To - 
Operating System - Unspecified / All
Severity - Low
Priority - Normal
Reported Version - SVN
Due in Version - Undecided
Due Date - Undecided
Details - 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  

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=451

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.