[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #53430] Octave user manual is not installed at
From: |
Mike Miller |
Subject: |
[Octave-bug-tracker] [bug #53430] Octave user manual is not installed at all on systems with older Texinfo |
Date: |
Wed, 28 Mar 2018 02:37:31 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:59.0) Gecko/20100101 Firefox/59.0 |
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/