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

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

A new Flyspray task has been opened.  Details are below. 

User who did this - Martin Nolte (nolte) 

Attached to Project - Dune
Summary - multiple definition of Make target doc-local
Task Type - Bug Report
Category - Dune Core Modules
Status - New
Assigned To - 
Operating System - Unspecified / All
Severity - Low
Priority - Normal
Reported Version - 2.0
Due in Version - Undecided
Due Date - Undecided
Details - 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.

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.