#642: Cactus documentation target AllDoc does not make all the documentation --------------------------+------------------------------------------------- Reporter: hinder | Owner: Type: enhancement | Status: new Priority: optional | Milestone: Component: Cactus | Version: Resolution: | Keywords: --------------------------+-------------------------------------------------
Comment (by eschnett):
The underlying question is whether we treat a failure to build documentation as something that we just tolerate and ignore, or as something that needs to be corrected. If we want to correct it, we need to test it, e.g. by updating the nightly tests, and by recording failures in the release process.
Another question is whether it even makes sense to build a global ThornGuide. This will include all thorns present in the source tree, which is something that nothing else in Cactus does -- for example, there is no target to build a configuration consisting of all thorns. For example, copying a thorn will lead to latex errors unless one is careful with labels and references (and renames them). The resulting ThornGuide is also not portable, because section numbers etc. depend on what is present in the source tree. In addition, having one huge pdf file is rarely useful.
I suggest to remove the (global) ThornGuide as makefile target, and leave only the configuration-specific ThornGuides.