Hello list,
Today, our sysadmins installed the maxima package on one of our Ubuntu
7.10 (codename gutsy) machines. The maxima version that is
included and used is
bartv at archimedes:~$ maxima --version
Maxima 5.12.0
The following maxima-doc package is installed:
bartv at archimedes:~$ dpkg --list | grep maxima-doc
ii maxima-doc 5.12.0-1ubuntu2 A computer algebra system -- documentation
However, when i try to
access the documentation for a certain command, i get an error
saying that /usr/share/info/maxima-index.lisp could not be found:
(%i1) ? integrate
Could not find `/usr/share/info/maxima-index.lisp' using paths in
file_search_lisp,system.
-- an error. To debug this try debugmode(true);
I see however that there are several maxima-index.lisp.gz in the maxima-doc
package:
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?
Secondly, taken into account that our sysadmins might have to install maxima
on quite some other computers, what is the best way to solve this
problem? Manually installing the .deb and then each time
unzipping and copying might be cumbersome...
Thanks,
Bart
--
"Share what you know. Learn what you don't."