[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #66583] [PATCH] allow building groff without makeinfo
From: |
Dave |
Subject: |
[bug #66583] [PATCH] allow building groff without makeinfo |
Date: |
Tue, 31 Dec 2024 00:42:51 -0500 (EST) |
Follow-up Comment #40, bug #66583 (group groff):
[comment #39 comment #39:]
> I have directed all of my postings here since the bulk of the discussion on
> this topic has happened here anyway.
Fair. All the interested parties seem to be already cc:ed here.
> The two prior patches do mean those other two bugs indeed.
OK. Unless you have any objection, I'll:
* close bug #66609 (which has the more limited scope of the two)
* leave bug #66611 open to potentially be renamed/rescoped to cover the
solution ultimately chosen
* remove the [PATCH] tag from #66611, as its current patch is now considered
obsolete
_______________________________________________________
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, (continued)
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/29
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/29
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/29
- [bug #66583] [PATCH] allow building groff without makeinfo, Alejandro Colomar, 2024/12/29
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/29
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/29
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/29
- [bug #66583] [PATCH] allow building groff without makeinfo, Dave, 2024/12/30
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/30
- [bug #66583] [PATCH] allow building groff without makeinfo,
Dave <=
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/31
- [bug #66583] [PATCH] allow building groff without makeinfo, Dave, 2024/12/31
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/31
- [bug #66583] [PATCH] allow building groff without makeinfo, Alejandro Colomar, 2024/12/31
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/31
- [bug #66583] [PATCH] allow building groff without makeinfo, Alejandro Colomar, 2024/12/31
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/31