#1154 docdir ignored
Metadata
Property | Value |
---|---|
Reported by | Elias Pipping (elias.pipping@fu-berlin.de) |
Reported at | Jul 14, 2012 07:50 |
Type | Bug Report |
Version | Git (pre2.4) [autotools] |
Operating System | Unspecified / All |
Last edited by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
Last edited at | Jul 27, 2012 08:34 |
Description
Passing --docdir to configure does not have an effect because doc/Makefile.am sets docdir unconditionally. This appears to affect basically all the modules out there since duneproject generates such an assignment.
docdir is a user-controlled variable and should not be set by the build system.