On 12/10/06, Leo <sdl.web at gmail.com> wrote: > Are we talking about the html doc in /usr/share/maxima/5.10.0/doc? It > is only 4.8M, so including theme in the RPM is fine. The problem is not so much the size of the files, but the number of them. Robert