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