[Octave-bug-tracker] [bug #53430] Octave user manual is not installed at all on systems with older Texinfo

[Mike Miller]

Update of bug #53430 (project octave):

                Severity:           4 - Important => 3 - Normal             
                Priority:              5 - Normal => 3 - Low                

    _______________________________________________________

Follow-up Comment #1:

Lowering priority but leaving open. This can be easily worked around on most
systems by just installing a newer version of GNU Texinfo in /usr/local or
other directory.

It would still be nice to separate the logic of being able to build docs from
being able to install docs if they already exist in the source distribution.

I think the easiest way to think about this is to compare it to bison. If
bison isn't found, we print a warning message to the user "we didn't find
bison, you might be ok if you are building from the source distribution", and
let it break at build time if a timestamp has been updated.

For the upcoming release, we are building docs for the users and including
them in the tarball, but then configure is saying "you don't have the right
version of Texinfo so we're not going to give you the docs we already built
for you."

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?53430>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/