[Dune] [#451] html files missing in tar balls when wml is unavailable.
dune at dune-project.org
Wed Nov 5 11:41:10 CET 2008
THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.
The following task has a new comment added:
FS#451 - html files missing in tar balls when wml is unavailable.
User who did this - Markus Blatt (mblatt)
I never install my DUNE and for installing wml is no problem. Of course an error message would be nice.
@Robert: Why did you post option 3, if it is not an option any more?
If you could live with option 3. I would propose a proper detection of WML and proper error message if make install or make dist is called without wml.
More information can be found at the following URL:
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.
More information about the Dune