[bug #66583] [PATCH] allow building groff without makeinfo

Follow-up Comment #20, bug #66583 (group groff): https://savannah.gnu.org/bugs/index.php?66611 ___ Reply to this item at: ___ Message sent via Savannah

[bug #66611] [PATCH] Allow manually disabling building of documentation

Update of bug #66611 (group groff): Severity: 3 - Normal => 1 - Wish ___ Reply to this item at: ___ Message sent via Savann

[bug #66583] [PATCH] allow building groff without makeinfo

Follow-up Comment #21, bug #66583 (group groff): At 2024-12-27T19:23:56-0500, anonymous wrote: > Follow-up Comment #15, bug #66583 (group groff): > > [comment #13 comment #13:] >> Alex, does this fix address the problem you reported to the email >> list in the "Build error in Devuan stable" thread

[bug #66611] [PATCH] Allow manually disabling building of documentation

Follow-up Comment #2, bug #66611 (group groff): Some of the discussion in bug #66583 concerns the desirability of adding this option. ___ Reply to this item at: ___

[bug #66583] [PATCH] allow building groff without makeinfo

Follow-up Comment #22, bug #66583 (group groff): The following remarks really apply to bug #66611, but as they're in response to a comment here, I'm posting them here. [comment #21 comment #21:] > the rest of the documents [...] also > serve as integration tests of functional code being shipped.

[bug #66583] [PATCH] allow building groff without makeinfo

Follow-up Comment #23, bug #66583 (group groff): [comment #21 comment #21:] > At 2024-12-27T19:23:56-0500, anonymous wrote: >> Follow-up Comment #15, bug #66583 (group groff): >> >> [comment #13 comment #13:] >>> Alex, does this fix address the problem you reported to the email >>> list in the "B

[bug #66583] [PATCH] allow building groff without makeinfo

Follow-up Comment #24, bug #66583 (group groff): [comment #23 comment #23:] > https://savannah.gnu.org/bugs/?66609 does exactly that. The only issue it > has is that I'm not sure how should manually disabling building the manual > be reflected in the summary of available features that ./configure

[bug #66611] [PATCH] Allow manually disabling building of documentation

URL: Summary: [PATCH] Allow manually disabling building of documentation Group: GNU roff Submitter: None Submitted: Sat 28 Dec 2024 08:58:27 AM UTC Category: General

[bug #66611] [PATCH] Allow manually disabling building of documentation

Follow-up Comment #1, bug #66611 (group groff): cc onf disroot org, please ___ Reply to this item at: ___ Message sent via Savannah https://savannah.gnu