[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo
From: |
Arun Isaac |
Subject: |
[Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo path |
Date: |
Fri, 4 Jan 2019 05:24:13 -0500 (EST) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Firefox/60.0 |
Follow-up Comment #4, bug #55371 (project octave):
A distribution configuration file is possible, but it would be simpler to have
a configure flag. Or better still, if the configure system could automatically
find makeinfo and substitute the path as the default value of
makeinfo_program. Is this a reasonable request?
Currently, the Guix octave package does patch libinterp/corefcn/help.h. But,
this approach is quite fragile and can break in future releases. Hence, the
desire for a better approach.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?55371>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo path, Arun Isaac, 2019/01/03
- [Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo path, Mike Miller, 2019/01/03
- [Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo path, Arun Isaac, 2019/01/04
- [Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo path, Mike Miller, 2019/01/04
- [Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo path,
Arun Isaac <=
- [Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo path, Mike Miller, 2019/01/04
- [Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo path, Mike Miller, 2019/01/04
- [Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo path, Arun Isaac, 2019/01/07
- [Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo path, Mike Miller, 2019/01/23