On Thu, 25 Feb 2016 17:37:16 -0500 Sanjoy Mahajan <san...@olin.edu> wrote:
> The info files are actually in /usr/share/info
>
> $ ls /usr/share/info/maxima*
> /usr/share/info/maxima.info-1.gz /usr/share/info/maxima.info-3.gz
> /usr/share/info/maxima.info-2.gz /usr/share/info/maxima.info.gz
>
> and are put there by maxima-doc:
>
> $ dpkg -S /usr/share/info/maxima.info-1.gz
> maxima-doc: /usr/share/info/maxima.info-1.gz
>
> Making symlinks fixes it:
>
> # cd /usr/share/doc/maxima/info
> # ln -s /usr/share/info/maxima.info-1.gz
> etc.

This seems to be a duplicate of #810578.

Kyanos

Reply via email to