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

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

We added the pdf files to make it easier for people to view the documentation.

To reduce conflicts, we could add the built pdf files to releases only.