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

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has been changed.  The changes are listed below.  For full information about what has changed, visit the URL and click the History tab.

FS#837 - multiple definition of Make target doc-local
User who did this: Martin Nolte (nolte)
Task details edited:
-------
the Make target doc-local is defined in two different am-snippets:
- am/documentation
- am/toprules

since am/documentation is included in am/global-rules and both, am/global-rules and am/toprules are included on the top-level, this yields a contradiction. Maybe am/documentation should not automatically be included in all Makefiles but only in the doc directory, i.e., by hand.

Note: Possible duneweb has to be found for the contradiction to happen.
-------
Category: Dune Core Modules -> Build-System
Reported Version: 2.0 -> SVN (pre2.1)

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

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.