[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What's up with the broken web pages?
|
From: |
Phil Holmes |
|
Subject: |
Re: What's up with the broken web pages? |
|
Date: |
Sun, 12 Apr 2020 15:50:31 +0100 |
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" <address@hidden>
To: "Han-Wen Nienhuys" <address@hidden>; "David Kastrup" <address@hidden>
Cc: "lilypond-devel" <address@hidden>
Sent: Sunday, April 12, 2020 1:22 PM
Subject: Re: What's up with the broken web pages?
Re: What's up with the broken web pages?, Joram Noeck, 2020/04/12