Remove version number from generated docs

Author: polytypic

update-gh-pages-for-tag

@@ -35,8 +35,14 @@ git clone $GIT
 cd $NAME
 
 git checkout "$TAG"
+
+sed -i.bak -e 's/^(version [^)]*)//' dune-project
+rm dune-project.bak
+
 dune build @doc --root=.
 
+git checkout .
+
 git checkout $GH_PAGES
 if [ "$TAG" != main ]; then
   echo "Updating the $TAG doc."