Re: GUB - today's problem

[Phil Holmes]

I did not start completely from scratch.  I deleted /uploads and ran the 
rm -rf as documented in the CG.  Do you have a recipe for a complete fresh 
build (other than be prepared for a decent wait..)

--
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 11:52 AM
Subject: Re: GUB - today's problem