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

[anonymous]

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