#1593 [cmake] make clean cleans the documentation
Metadata
Property | Value |
---|---|
Reported by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
Reported at | Mar 10, 2015 16:49 |
Type | Bug Report |
Version | 2.3 |
Operating System | Unspecified / All |
Last edited by | Christoph Grüninger (gruenich@iws.uni-stuttgart.de) |
Last edited at | Jun 29, 2015 13:48 |
Closed by | Christoph Grüninger (gruenich@iws.uni-stuttgart.de) |
Closed at | Jun 29, 2015 13:48 |
Closed in version | Unknown |
Resolution | Not a bug |
Comment |
Description
We once decided that the documentation should not be cleaned upon a make clean, in order to allow us to put it into tarballs. This doesn't work with cmake anymore.
make doc ... builds the documentation make doc ... doesn't make anything make clean make doc ... builds again the documentation