[Dune] [#1125] make install fails when using --disable-documentation

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#1125 - make install fails when using --disable-documentation
User who did this - Oliver Sander (sander)

----------
Does one of the buildsystem experts have an idea?
----------

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

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.