#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 rhaas):
I agree that having readable documentation is useful, it is not a given that all files are always up to date though (I think). I am not sure if the comparison to configure is a good one, most people have LaTeX installed and it usually works outof the box. Our autoconf scripts require an outdated version of autoconf that is not normally installed (even if autoconf itself was installed which is also no usually the case).