changes to this repo have no effect

[digama0]

I found the cause of the issue in #9. It seems the regenerate-website.sh file in /home/generator is out of date and does not contain the modification in #9, because this file is created only in build-website.sh which means it is never updated after the VM is first installed.

[david-a-wheeler]

You can always rerun "build-website.sh", that script is intentionally written to be re-run at any time to force resetting of something.

[david-a-wheeler]

I logged into root@us.metamath.org and did:

git pull
./build-system.sh

That should update everything.

[david-a-wheeler]

BTW, that's the recommended way to do an update.