* [2006.12.10] Robert Dodier wrote:
^^^^^^^^^^^^^
>> So, I would still ask that the html files be included in the
>> *tar.gz source. Again, why not make two:
>>
>> maxima-5.11.0-src-no-html.tar.gz
>> maxima-5.11.0-src-with-html.tar.gz
>
> There are already a lot of distribution files; I guess i am against
> creating even more files. I think we need to choose one or the
> other (recent discussion was leaning towards including the html).
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.
--
Leo