I've updated the scripts on the website, but it looks like make website is
not sensitive to a changed Python file and so does not rebuild the web
pages. A possibility to force a rebuild would be to touch VERSION, but that
would make the website out of step with master.
--
Phil Holmes
----- Original Message -----
From: "Jonas Hahnfeld" <hah...@hahnjo.de>
To: "Han-Wen Nienhuys" <hanw...@gmail.com>; "David Kastrup" <d...@gnu.org>
Cc: "lilypond-devel" <lilypond-devel@gnu.org>
Sent: Sunday, April 12, 2020 1:22 PM
Subject: Re: What's up with the broken web pages?
