[Dune] [#451] html files missing in tar balls when wml is unavailable.
dune at dune-project.org
Wed Nov 5 11:27:05 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 - Robert Klöfkorn (robertk)
Makeing tar balls is one of the really good features the dune build system provied. I'm using this very often. I guess everybody that has to install dune code an other systems is happy to have this feature. I don't see why the make dist is a command that is only rarely used. But we have this discussed 1 and 1/2 year ago and ist seems that the opinions have not changed about this point. Building tar balls is essential and it should work without the documentation or 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