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

 I agree that these PDF files should be removed. Removing the PDF files
 from the repository does mean that you can't go back and see an older
 version of the built documentation, but it is rare to need this, and you
 can always build it in a checkout of the older version anyway. See also
 #1039.

 Let's see if someone comes up with a good reason to keep these files in
 the repository.  If not, let's remove them.

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