On Tue, 6 Jun 2023, David Brownlee wrote:
$ cd /usr/xsrc/external/mit/ctwm $ make USETOOLS=no make: no target to make.Apologies - I should have clarified - its src/external/mit/ctwm, not xsrc/external/mit/ctwm builds for me, with a clean tree :)
Yes, thanks David, it worked like a charm.