[Pkg-octave-devel] Bug#555646: Bug#555646: "doc" at command prompt complains about missing octave3.2.info

[Thomas Weber <thomas.weber.mail@gmail.com>]

Hi Raphael, 

On Tue, Nov 10, 2009 at 08:35:04PM +0100, Raphael Manfredi wrote:
> Package: octave3.2
> Version: 3.2.3-1
> Severity: normal
> 
> At the octave command prompt:
> 
> octave:1> doc
> info: /usr/share/info/octave3.2.info: No such file or directory

The info documentation is in the octave3.2-info package.

> I've queried all Debian packages, there is no package providing that file.

http://packages.debian.org/sid/all/octave3.2-info/filelist

Info files are usually gzipped.

Please indicate whether this solves your problems.

Thanks
	Thomas