On Sun, 2023-09-03 at 02:24 +0200, Alejandro Colomar wrote:
> Let's add one more:
>
> - Make has problems running the SHELL
This is an interesting situation but I don't think it belongs in the
GNU make manual.
--
Paul D. Smith Find some GNU make tips at:
https://www.gnu.org
Hi Paul,
On 2023-08-26 18:48, Paul Smith wrote:
> 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 troublesho
