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

2024-12-28 Thread Dave
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 #66611] [PATCH] Allow manually disabling building of documentation

2024-12-28 Thread G. Branden Robinson
Update of bug #66611 (group groff): Severity: 3 - Normal => 1 - Wish ___ Reply to this item at: ___ Message sent via Savann

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

2024-12-28 Thread anonymous
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

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

2024-12-28 Thread anonymous
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