#1038: remove compiled documentation from Cactus repository ---------------------------+------------------------------------------------ Reporter: rhaas | Owner: Type: enhancement | Status: new Priority: optional | Milestone: Component: Cactus | Version: Keywords: documentation | ---------------------------+------------------------------------------------ the current Cactus repository contains pdf versions of the Reference and User guides. Are these present to allow users without a working LaTeX installation to view the documentation (of the flesh, thorns tend to not include PDF files anyway)? We could instead point to the online HTML version on the ET website. This would reduce the number of times the tex file and pdf file are out of sync.