Can't build HardDisc4 from 2023-12-24 source tarball

Has anyone tried building HardDisc4 from the most recent source tarball, 2023-12-24? Mine errors out complaining that RiscOS.Sources.Internet.Messages.Makefile wouldn’t open. Indeed Internat.Messages only contains a folder called Resources, nothing else.

Has anyone tried building HardDisc4 from the most recent source tarball, 2023-12-24?

It builds fully here.

In Builder only ‘Export headers’, ‘Export libraries’, and ‘Install disc’ need to be selected, and not ‘Export resources’. See “Building the hard disc image” here

Thank you, David. That works.

It’s so long ago that I last RTFM that I’d forgotten!