[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #66085] second run of "make" requires user interaction
From: |
Dave |
Subject: |
[bug #66085] second run of "make" requires user interaction |
Date: |
Thu, 15 Aug 2024 17:32:40 -0400 (EDT) |
Follow-up Comment #2, bug #66085 (group groff):
I am not. I probably heard that at some point, but that probably wasn't a
point at which I was building groff regularly.
I see this is in INSTALL.extra:
5. You can remove the groff executables and other generated files from
the source code directory by typing 'make clean'. To also remove
the files that 'configure' created (so you can compile groff for a
different kind of computer or with different options to
'configure'), type 'make distclean'.
...a file I've never looked closely at because I've BUILT groff a few times
now but never tried to INSTALL it. (I prefer my installed groff to come from
my distro.) But only a fraction of the content of that file deals with
installing, so the filename is a bit misleading.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?66085>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
signature.asc
Description: PGP signature
- [bug #66085] second run of "make" requires user interaction, Dave, 2024/08/13
- [bug #66085] second run of "make" requires user interaction, G. Branden Robinson, 2024/08/15
- [bug #66085] second run of "make" requires user interaction,
Dave <=
- [bug #66085] second run of "make" requires user interaction, Dave, 2024/08/16
- [bug #66085] second run of "make" requires user interaction, G. Branden Robinson, 2024/08/16
- [bug #66085] second run of "make" requires user interaction, Dave, 2024/08/16
- [bug #66085] second run of "make" requires user interaction, Dave, 2024/08/17
- [bug #66085] second run of "make" requires user interaction, G. Branden Robinson, 2024/08/17
- [bug #66085] second run of "make" requires user interaction, Dave, 2024/08/17
- [bug #66085] second run of "make" requires user interaction, G. Branden Robinson, 2024/08/18
- [bug #66085] second run of "make" requires user interaction, G. Branden Robinson, 2024/08/31