#837 multiple definition of Make target doc-local
Metadata
| Property | Value |
|---|---|
| Reported by | Martin Nolte (nolte@mathematik.uni-freiburg.de) |
| Reported at | Nov 1, 2010 10:03 |
| Type | Feature Request |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Last edited by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Last edited at | May 23, 2012 09:37 |
| Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Closed at | May 23, 2012 09:37 |
| Closed in version | Unknown |
| Resolution | Won't fix |
| Comment | It's just an annoyance, no real bug and really hard to fix in general. |
Description
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.