#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):
We should not be making promises for future releases. We may want to decide otherwise.
Personally, I don't find a single, large thorn guide useful, because of several reasons -- it is too large, the chapter/section numbers are different for everybody (!) leading to communication problems, if you make a copy of a thorn to a different name/different arrangement, there are latex problems that are difficult to diagnose (duplicate symbols), etc. I would not mind if the single ThornGuide went away.
Also, ignoring thorns where the documentation doesn't build isn't always ideal either.