[Dune] [#837] multiple definition of Make target doc-local

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#837 - multiple definition of Make target doc-local
User who did this - Martin Nolte (nolte)

----------
No, I did not experience any trouble so far. Yet, a warning is in my opinion not a cosmetic problem but should eventually be resolved. 

I guess this issue can easily be resolved by defining doc-local (and the others) in am/documentation only if duneweb has not been found. The case that duneweb is found can then be handled by am/webstuff. I did not dare chaning it myself, though, as I don't understand the duneweb magic.

Moreover, we might want to remove duneweb stuff from the core modules. Isn't it possible for duneweb to depend on the core modules and build the documentation a second time there?

But, of course, any warning that does not trigger wrong behavior may be considered a cosmetic issue.
----------

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

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.