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

A good argument to keep these pdf files is that you can search the whole document for keywords while you can't in the web version.