> From: Paul Smith
> Date: Sat, 26 Aug 2023 12:48:05 -0400
>
> I added a new appendix to the GNU make manual for troubleshooting help;
> I haven't pushed it yet. See below. Comments welcome.
Thanks, this sounds very useful. Some comments below.
>If you have problems with GNU Make, first
I added a new appendix to the GNU make manual for troubleshooting help;
I haven't pushed it yet. See below. Comments welcome.
I think the outline you provided earlier, Bruno, has the problem that a
lot of it isn't really about troubleshooting per se, it's about how to
write makefiles in general.
