Deleted target, but the build failed at the same spot with the same error.
-- Phil Holmes----- Original Message ----- From: "Jonas Hahnfeld" <hah...@hahnjo.de>
To: "Phil Holmes" <em...@philholmes.net>; "Devel" <lilypond-devel@gnu.org> Sent: Sunday, July 26, 2020 12:18 PM Subject: Re: GUB - today's problem
