[Pkg-octave-devel] Bug#502295: Bug#502295: octave-fixed: The info manual should go in the info dir

[Francesco Potorti`]

>Okay, you beat me to it, I'll look at its proper inclusion 

Thanks :)

>							    (later
>though, as I currently couldn't upload it anyways).

One annoying thing is that it is not as simple as doing an install-info
on the info file, as it should, because the info file does not contain
the proper strings that tell install-info where to create the entry in
the /usr/share/info/dir file.

Probably the simplest thing is to patch the texi file to contain that
info, and let upstream know.  The proper string can be adapted from the
similar one in odepkg.