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

[Einstein Toolkit]

#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.)

-- 
Ticket URL: <https://trac.einsteintoolkit.org/ticket/642#comment:6>
Einstein Toolkit <http://einsteintoolkit.org>
The Einstein Toolkit