http://l3tczdiiwoo63iwxty4lhs6p7eaxop5micbn7vbliydgv63x5zrrrfyd.onion/developer-manual/newrelease.html
Push the tag to the remote with " git push origin
v_X_Y_Z " . On the webserver, copy the user manual to a new top-level directory called X.Y.Z . This ensures that help links from the CGI pages, which have the version as a prefix,
will go into the right version of the manual.