#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):
Alright. It's certainly true that we should not make the user's live hard just since we (me) are sloppy committing all files. Since this essentially boils down to the maintainers being careful what we do (and actually commit all generated files): any objections to closing this with "wontfix"?