[ET Trac] [Einstein Toolkit] #1038: remove compiled documentation from Cactus repository

[Einstein Toolkit]

#1038: remove compiled documentation from Cactus repository
--------------------------+-------------------------------------------------
  Reporter:  rhaas        |       Owner:               
      Type:  enhancement  |      Status:  new          
  Priority:  optional     |   Milestone:               
 Component:  Cactus       |     Version:               
Resolution:               |    Keywords:  documentation
--------------------------+-------------------------------------------------

Comment (by rhaas):

 Alright. It's certainly true that we should not make the user's live hard
 just since we (me) are sloppy committing all files. Since this essentially
 boils down to the maintainers being careful what we do (and actually
 commit all generated files): any objections to closing this with
 "wontfix"?

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