[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #66611] [PATCH] Allow manually disabling building of documentation
|
From: |
Dave |
|
Subject: |
[bug #66611] [PATCH] Allow manually disabling building of documentation |
|
Date: |
Sat, 28 Dec 2024 15:33:05 -0500 (EST) |
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:
<https://savannah.gnu.org/bugs/?66611>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
signature.asc
Description: PGP signature