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 03:15:06 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Firefox/60.0

Follow-up Comment #2, bug #55371 (project octave):

If I understand correctly, _./configure MAKEINFO=/path/to/makeinfo_ does not
set the default value of makeinfo_program. So, it does not serve my purpose.

I am actually working on the GuixSD octave package.
[https://issues.guix.info/issue/33963] Currently, the help pages don't work
out of the box because makeinfo is not found. I need some build time flag to
set the default makeinfo_program. I cannot use the run time solution you
suggested because that would be harder to package.

    _______________________________________________________

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]