[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #66583] [PATCH] Allow building groff without makeinfo
From: |
G. Branden Robinson |
Subject: |
[bug #66583] [PATCH] Allow building groff without makeinfo |
Date: |
Thu, 19 Dec 2024 15:31:35 -0500 (EST) |
Follow-up Comment #3, bug #66583 (group groff):
[comment #2 comment #2:]
> I actually have a patch locally that adds a flag --disable-info-doc, created
> in response to Alejandro Colomar being unable to build groff due to a failure
> to build the Texinfo manual.
I assume he was building from Git; our distribution archives contain all the
generated forms of our Texinfo manual, so they should only be rebuilt if the
user deletes those forms or alters the Texinfo source document.
> (He had a current makeinfo installed, but it failed to build the manual.)
He didn't complain to me...I'll have to ring him up to see what the trouble
was.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?66583>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
signature.asc
Description: PGP signature
- [bug #66583] [PATCH] Allow building groff without makeinfo, Dave, 2024/12/18
- [bug #66583] [PATCH] Allow building groff without makeinfo, anonymous, 2024/12/19
- [bug #66583] [PATCH] Allow building groff without makeinfo,
G. Branden Robinson <=
- [bug #66583] [PATCH] Allow building groff without makeinfo, anonymous, 2024/12/19
- [bug #66583] [PATCH] Allow building groff without makeinfo, anonymous, 2024/12/19
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/21
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/21
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/22
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/22
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/22
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/22
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/22
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/22