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: 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/




reply via email to

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