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

One does not always have web access while programming. If you are on a plane, or in a foreign country, then often all you got is what you have on your hard disk.