Re: [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: Resolution: | Keywords: --------------------------+-------------------------------------------------

Comment (by eschnett):

(I use a multi-document search facility provided by a certain company in California.)

- Should we add *-ThornGuide to Simfactory? (I say yes.) - Should we remove the global ThornGuide make option? (I also say yes.)