[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: |
Fri, 27 Dec 2024 19:51:33 -0500 (EST) |
Follow-up Comment #18, bug #66583 (group groff):
[comment #15 comment #15:]
> I have an expanded version locally which adds flag to ./configure
> to not build the Texinfo manual even when makeinfo is present &
> up-to-date. I haven't posted it yet because I deemed it incomplete.
> It deals only with the Texinfo manual and not with the rest of
> the docs, which might also be desired.
My advice would be to open a new ticket for this patch, which can then be
refined as needed. Personally I feel a "don't build the Texinfo manual"
switch even on its own is useful, and doesn't preclude more thoroughly
separating the documentation build later. (Part of this is self-interest, as
I currently have a broken Texinfo installation and have to manually hack the
config file whenever I build groff.)
_______________________________________________________
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/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
- [bug #66583] [PATCH] allow building groff without makeinfo, Dave, 2024/12/27
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/27
- [bug #66583] [PATCH] allow building groff without makeinfo, Dave, 2024/12/27
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/27
- [bug #66583] [PATCH] allow building groff without makeinfo,
Dave <=
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/27
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/28
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 2024/12/28
- [bug #66583] [PATCH] allow building groff without makeinfo, Dave, 2024/12/28
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/28
- [bug #66583] [PATCH] allow building groff without makeinfo, anonymous, 2024/12/28
- [bug #66583] [PATCH] allow building groff without makeinfo, G. Branden Robinson, 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