hi mario,
> I propose to store the new share texi files in maxima/doc/info, together
> with the rest of the documentation, creating a new section in
> maxima.texi which could be called 'Share packages', 'Contributed
> packages' or something like that.
OK by me.
in a way it is nice to have the texinfo for a package
in the same place with any other files in the package.
but i can see that makes it clumsy to handle the
share package texinfos in aggregate.
so it's OK with me if you want to move the texi files,
but please wait til after the 5.9.3 release (real soon now) to do so.
best,
robert