[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:     
 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.

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