[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #66611] Allow manually disabling building of documentation
From: |
Dave |
Subject: |
[bug #66611] Allow manually disabling building of documentation |
Date: |
Tue, 31 Dec 2024 01:00:04 -0500 (EST) |
Update of bug #66611 (group groff):
Summary: [PATCH] Allow manually disabling building of
documentation => Allow manually disabling building of documentation
_______________________________________________________
Follow-up Comment #3:
Submitter has withdrawn this patch in favor of a more flexible solution; see
bug #66583.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?66611>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
signature.asc
Description: PGP signature