octave-bug-tracker
[Top][All Lists]
Advanced

[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 13:03:50 -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 #6, bug #55371 (project octave):

In general, I think the best approach for shelling out to programs is to use
PATH. The next best is to fall back to an environment variable. If Octave used
the value of a MAKEINFO environment variable at run time would that help you?
And the third best approach is an application-specific configuration option,
in this case ~/.octaverc or /path/to/share/octave/site/m/startup/octaverc. I
really do not agree with the principle of propagating full paths to programs
found at build time from the build system to the run system.

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?55371>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]