#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.