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

 When people download the distribution via the main advertised mechanism,
 readable documentation should be there, directly accessible. We can't
 expect people to figure how to type "make UsersGuide" to generate a PDF
 that then tells them how to build the users' guide.

 The case is similar to the configure script (which is auto-generated), or
 the Kranc-generated output. In all cases the question is how difficult it
 is for a non-expert to generate the respective output, and if it is too
 difficult, we provide the output. In the case of documentation, we want it
 to be really easy for people to read it, and it should be right there.

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