On 1/25/08, Bart Vandewoestyne <Bart.Vandewoestyne at telenet.be> wrote:
> bartv at archimedes:~$ dpkg -L maxima-doc | grep maxima-index.lisp
> /usr/share/doc/maxima-doc/es/maxima-index.lisp.gz
> /usr/share/doc/maxima-doc/es.utf8/maxima-index.lisp.gz
> /usr/share/doc/maxima-doc/pt/maxima-index.lisp.gz
> /usr/share/doc/maxima-doc/pt.utf8/maxima-index.lisp.gz
> /usr/share/doc/maxima-doc/info/maxima-index.lisp.gz
>
> The problem is that it seems gzipped and not in the right location.
> I assume unzipping maxima-index.lisp.gz and moving it to
> /usr/share/info is the quickest solution to this problem?
Yes -- the maxima-index.lisp must be unzipped.
Maxima can read it from /usr/share/doc/maxima-doc if you assign
an obscure variable in Maxima ... probably easier to just move
all the stuff the location in which Maxima is looking for it.
All of the maxima*.info* files must also be unzipped.
I guess Maxima should try to read gzip'd files but that's a feature
that would be in a future release.
> Secondly, taken into account that our sysadmins might have to
> install maxima on quite some other computers,
Well, I am happy to hear that. I hope everyone finds Maxima fun & useful.
> what is the best way to solve this problem? Manually installing
> the .deb and then each time unzipping and copying might be
> cumbersome...
Maybe there is a way to repackage the stuff after unzipping
and moving it around.
Certainly you should inform the source of your package that
they need to package the info stuff unzipped, and either put the
files where Maxima expects to find them or build Maxima to look
for the files in a non-standard location.
best
Robert Dodier