#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):
There are always thorns where the documentation does not build, which breaks ThornGuide. Also, if there are many arrangements or thorns, the latex mechanism which numbers them alphabetically (!) breaks. (In Cactus, chapters are numbered alphabetically -- I don't know whether this is still the case.) Looking at the individual arrangement's and thorn's documentation is most of the time sufficient because it contains the same information.