There is the command updateindex but that doesn’t rebuild the index.html for the landing page of the server. The version number doesn’t get updated. Is this a bug, or is there another way of updating this?
I’m using the git master, so actually it should output 5.1.0