> Package: maxima-doc > Version: 5.13.0-3.1 > > Hi, > i am running unstable, and currently have xmaxima 5.10.0 and maxima-doc > 5.13.0 . > That's what apt-get update / apt-get upgrade installed on my system > (so i assume xmaxima 5.13.0 isn't installable yet due to some dependency). > > Problem is that when i try to start xmaxima from desktop menu, > it shows a dialog saying that it can't find docs in /usr/share/maxima/5.10.0 > and when i click 'OK' (the only option), that's the end of it. It doesn't > start. > > I looked in /usr/share/maxima/5.10.0 and indeed there are no docs there. > But i do have docs in /usr/share/maxima/5.13.0 . > I added a symlink /usr/share/maxima/5.10.0/doc with target ../5.13.0/doc > and now xmaxima starts as it should on my machine :-)
In the version 5.13.0-3.1+b1 of maxima (the version in testing), the files seem to be symbolic links. [EMAIL PROTECTED]:/usr/share/maxima/5.13.0$ ls -al total 24 drwxr-xr-x 6 root root 4096 2008-10-18 16:11 . drwxr-xr-x 3 root root 4096 2008-08-25 01:10 .. drwxr-xr-x 2 root root 4096 2008-09-14 22:54 demo lrwxrwxrwx 1 root root 20 2008-08-25 01:10 doc -> ../../doc/maxima-doc lrwxrwxrwx 1 root root 28 2008-10-18 16:11 emacs -> ../../emacs/site-lisp/maxima drwxr-xr-x 28 root root 4096 2008-08-25 01:10 share drwxr-xr-x 3 root root 4096 2008-08-25 01:10 src drwxr-xr-x 3 root root 4096 2008-08-25 01:10 tests lrwxrwxrwx 1 root root 17 2008-08-25 01:10 xmaxima -> ../../doc/xmaxima so AFAICS this is now fixed and it should work even if the docs are out of sync. > > So i thought you might like to know about this. > > I have filed this bug against maxima-doc 5.13.0 . > It (apparently) is installable, so fixing it there would fix this bug soonest. > Probably it is a bug of xmaxima 5.10.0 (for not trying all version > directories) > and very likely (since i didn't find this bug among the archived bugs either) > also exists in xmaxima 5.13.0 . > AFAICT, this bug has now been fixed. Chris -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
