[ET Trac] [Einstein Toolkit] #642: Cactus documentation target AllDoc does not make all the documentation

#642: Cactus documentation target AllDoc does not make all the documentation -------------------------+-------------------------------------------------- Reporter: hinder | Owner: Type: enhancement | Status: new Priority: optional | Milestone: Component: Cactus | Version: Keywords: | -------------------------+-------------------------------------------------- The Cactus

make AllDoc

command does not make all the documentation - specifically it does not make the ThornGuide consisting of documentation for all the thorns. It does make the individual thorn documents. Is there a reason for this? Perhaps in the past this was a performance issue, but the documentation can be generated in minutes now, and typically this is not done very frequently. I think we should change the system so that AllDoc generates all the documentation.