Index missing in maxima info files in latest Ubuntu package.
- Subject: Index missing in maxima info files in latest Ubuntu package.
- From: Bernard Hurley
- Date: Sat, 13 Aug 2011 15:49:00 +0100
On Sat, 2011-08-13 at 14:31 +0000, Leo Butler wrote:
> Bernard, could you post the output of
>
> ls -l /usr/share/info/max*info*
>
> please?
~$ ls -l /usr/share/info/max*info*
-rw-r--r-- 1 root root 13K 2011-04-11 21:34 /usr/share/info/maxima.info
-rw-r--r-- 1 root root 964K 2011-04-11 21:34 /usr/share/info/maxima.info-1
-rw-r--r-- 1 root root 233K 2011-08-09 21:57 /usr/share/info/maxima.info-1.gz
-rw-r--r-- 1 root root 960K 2011-04-11 21:34 /usr/share/info/maxima.info-2
-rw-r--r-- 1 root root 210K 2011-08-09 21:57 /usr/share/info/maxima.info-2.gz
-rw-r--r-- 1 root root 434K 2011-04-11 21:34 /usr/share/info/maxima.info-3
-rw-r--r-- 1 root root 61K 2011-08-09 21:57 /usr/share/info/maxima.info-3.gz
-rw-r--r-- 1 root root 12K 2011-08-09 21:57 /usr/share/info/maxima.info.gz