[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo
From: |
Mike Miller |
Subject: |
[Octave-bug-tracker] [bug #55371] Add configure flag to specify makeinfo path |
Date: |
Fri, 4 Jan 2019 04:10:58 -0500 (EST) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/71.0.3578.98 Safari/537.36 |
Follow-up Comment #3, bug #55371 (project octave):
Correct, the MAKEINFO program used by the build system is only used in the
build and install process, it is not used by Octave at run time.
There are several utility programs that Octave shells out to at run time that
can only be configured using Octave. Octave uses 'info', 'makeinfo', 'less',
and 'gnuplot' by name by default, assuming they are available on PATH. Each of
these can be configured using the 'info_program', 'makeinfo_program', 'PAGER',
and 'gnuplot_binary' functions.
If I had to set a complete path to 'makeinfo' for the Debian package, I would
add a line to /usr/share/octave/4.4.1/m/startup/octaverc, something like
## Set the default path to makeinfo on Debian systems
makeinfo_program ("/path/to/somewhere/bin/makeinfo");
The only option at the moment if you don't think that providing a distribution
configuration file is suitable is patching libinterp/corefcn/help.h to set a
complete path to the makeinfo program.
_______________________________________________________
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 <=
- [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, 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