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: Thu, 3 Jan 2019 10:05:39 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Firefox/60.0

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

                 Summary: Add configure flag to specify makeinfo path
                 Project: GNU Octave
            Submitted by: arunisaac
            Submitted on: Thu 03 Jan 2019 08:35:37 PM IST
                Category: Configuration and Build System
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: Feature Request
                  Status: None
             Assigned to: None
         Originator Name: Arun Isaac
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                 Release: 4.4.1
        Operating System: GNU/Linux

    _______________________________________________________

Details:

It would be useful to have a configure flag --with-makeinfo=/path/to/makeinfo
to specify the path to makeinfo during build time. It would be better still if
configure can automatically find the correct path to makeinfo and set that as
the default for makeinfo_program.

I use GNU GuixSD, and I need this feature because in Guix, makeinfo is not
present in standard paths like /usr/bin/makeinfo and cannot be assumed to be
found using the PATH environment variable.

Many thanks!




    _______________________________________________________

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]