|
From: | anonymous |
Subject: | [Octave-bug-tracker] [bug #55736] Segfault when copying source file text to clipboard in octave-gui |
Date: | Tue, 19 Feb 2019 07:11:08 -0500 (EST) |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:64.0) Gecko/20100101 Firefox/64.0 |
Follow-up Comment #6, bug #55736 (project octave): Correct: documentation generation was disabled because the system in question did not have TeX installed. The user didn't need the documentation as they are already familiar with web-based resources, so this didn't seem to be a major issue. My understanding from comment 5 is that a consequence of "--disable-docs" is that there is nothing for the documentation browser to display. Could the lack of documentation give rise to the NULL pointer which then trips up the "Edit-Copy" action? _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?55736> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |