From 64eaff007eccb00f1af94bd5de44b3ff4f307c4c Mon Sep 17 00:00:00 2001 From: Drup Date: Sun, 18 Nov 2018 16:56:41 +0100 Subject: [PATCH] Update release docs. --- docs/RELEASE.md | 19 ++++++------------- 1 file changed, 6 insertions(+), 13 deletions(-) diff --git a/docs/RELEASE.md b/docs/RELEASE.md index 6bfa22bc3..b93ee0934 100644 --- a/docs/RELEASE.md +++ b/docs/RELEASE.md @@ -1,15 +1,8 @@ # How to make a release. - -- Bump the relevant version numbers: - - Oasis - - CHANGES -- `sh dist.sh`. It creates a tag and a branch numbered by the version. -- Push **only the tag and not the branch**. You obtain a tag with no branch. -- Let github create a tarball. -- Delete the local branch. - -- In [ocsigen.org-data](https://github.com/ocsigen/ocsigen.org-data), copy `tyxml/dev` to the new version number. -- Add the new version in the [download page](http://ocsigen.org/tyxml/install). - -- Publish on opam. +- Update the [changelog][CHANGES.md] +- Ensure the doc builds (`make -C docs`) +- Run `dune-release` +- In [ocsigen.org-data](https://github.com/ocsigen/ocsigen.org-data) + - Run the instructions from [how](https://github.com/ocsigen/html_of_wiki) + - copy `tyxml/dev` to the new version number.