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: closed Priority: optional | Milestone: ET_2012_05 Component: Cactus | Version: Resolution: fixed | Keywords: --------------------------+------------------------------------------------- Changes (by eschnett):

* status: review => closed * resolution: => fixed

Comment:

Applied.