As I was fixing the typo identified by Nick, I took that as an
occasion to make the process of updating the Music Ontology
specification a bit more straight-forward.
I wrote a small post-receive WebHook handler, available there:
https://github.com/motools/musicontology-postreceive, and running on
the server on which the Music Ontology specification is hosted.
At each push to our Github repository
(https://github.com/motools/musicontology), the latest code will be
pulled on the server, the specification will be generated, and the
musicontology.com website will be updated. So anyone who has push
access to our repository will see his changes immediately surfaced on
the musicontology.com website.
The website will therefore track the HEAD of our Git repository (which
seems reasonable as HEAD doesn't move very fast these days). But we
could also make it track a specific branch. What do you think?