[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 eschnett):

 One does not always have web access while programming. If you are on a
 plane, or in a foreign country, then often all you got is what you have on
 your hard disk.

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