synchronise.sh: regenerate documentation for Ceygen v0.3-dirty