|
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/
[Prev in Thread] | Current Thread | [Next in Thread] |