[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: |
Mon, 30 Dec 2024 21:09:36 -0500 (EST) |
Follow-up Comment #38, bug #66583 (group groff):
[comment #30 comment #30:]
> The patches are attached.
>
> This seems a superior way of implementing this compared to the
> two patches I have submitted before.
As a point of order, this bug is currently closed.
Do your attached patches fall under the jurisdiction of this bug, meaning I
should reopen it? Or are they more properly part of bug #66609 and/or bug
#66611, meaning you should attach them there?
I believe the referenced "two patches I have submitted before" refer to those
of #66609 and #66611, meaning your new patches here supersede the ones posted
there, but it's unclear to me which problem set they solve.
_______________________________________________________
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, anonymous, 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, 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 <=
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/30
- [bug #66583] [PATCH] allow building groff without makeinfo, Dave, 2024/12/31
- [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