#686 only "make doc" makes documentation
Metadata
| Property | Value |
|---|---|
| Reported by | Martin Drohmann (mdrohmann@uni-muenster.de) |
| Reported at | Dec 7, 2009 17:21 |
| Type | Feature Request |
| Version | 1.2 |
| Operating System | Unspecified / All |
| Last edited by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Last edited at | Mar 22, 2010 22:34 |
| Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Closed at | Mar 22, 2010 22:34 |
| Closed in version | 2.0 |
| Resolution | Fixed |
| Comment | and merged |
Description
On the meeting in Berlin, it was decided that the documentation shall be build by and only by "make doc".