#630 Installation of documentation not working under certain circumstances.
Metadata
| Property | Value |
|---|---|
| Reported by | Robert K (robertk@posteo.org) |
| Reported at | Oct 28, 2009 07:17 |
| Type | Bug Report |
| Version | 1.2 |
| Operating System | Unspecified / All |
| Last edited by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Last edited at | Apr 8, 2010 16:22 |
| Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Closed at | Apr 8, 2010 16:22 |
| Closed in version | Unknown |
| Resolution | Won't fix |
| Comment |
Description
I'm using the 1.2.1 tar files for a Dune installation. Doxygen ist not installed on my system, I don't need it at home. After I called "make clean" in the unpacked folders (dune-common-1.2.1, dune-grid-1.2.1, dune-istl-1.2.1) I cannot build the modules anymore because the documentation is missing. Why is it removed anyway? The bug is, that the documentation folder is named doxygen/html and not doxygen/html-dist how it should be and furthermore that the check for doxygen might be insufficient.
A proper workarround is either not to call "make clean", which is not a good option, or to use the --disable-documentation configure flag, my all time favorite I must say.