URL: <https://savannah.gnu.org/bugs/?66611>
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 Severity: 3 - Normal Item Group: Build/Installation Status: None Privacy: Public Assigned to: None Open/Closed: Open Discussion Lock: Any Planned Release: None _______________________________________________________ Follow-up Comments: ------------------------------------------------------- Date: Sat 28 Dec 2024 08:58:27 AM UTC By: Anonymous See attached patch. If it doesn't apply, try applying https://savannah.gnu.org/bugs/?66609 first. It's not very elegant, so any suggestions how to improve this are welcome. _______________________________________________________ File Attachments: ------------------------------------------------------- Name: 0001-Allow-manually-disabling-building-of-documentation.patch Size: 22KiB <https://file.savannah.gnu.org/file/0001-Allow-manually-disabling-building-of-documentation.patch?file_id=56719> AGPL NOTICE These attachments are served by Savane. You can download the corresponding source code of Savane at https://savannah.gnu.org/source/savane-d58233b6feaa780411f7f09b695724cabce7bc1d.tar.gz _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?66611> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
signature.asc
Description: PGP signature