|
From: | Mike Miller |
Subject: | [Octave-bug-tracker] [bug #48580] Install fails after configuring with --disable-docs |
Date: | Thu, 21 Jul 2016 16:29:11 +0000 (UTC) |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:47.0) Gecko/20100101 Firefox/47.0 |
Update of bug #48580 (project octave): Status: None => Patch Submitted _______________________________________________________ Follow-up Comment #1: Thank you for your bug report and patch. The --disable-docs switch is broadly scoped and a little vague as to what it disables. I remember dicussing --disable-docs with jwe recently. I can't remember whether his opinion was that the built-in-docstrings file should be installed even with --disable-docs or not. Specifically what tools or build steps is --disable-docs intended to avoid? _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?48580> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |