From 1985b1b993acfd4f8ecb03e7e471e33efdcb5095 Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Thu, 1 Jun 2023 16:35:57 -1000 Subject: [PATCH] ;doc:RELEASING: update --- doc/RELEASING.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/RELEASING.md b/doc/RELEASING.md index 969cb4a1e..0bb8f3807 100644 --- a/doc/RELEASING.md +++ b/doc/RELEASING.md @@ -130,7 +130,7 @@ To do a release, start at the bottom of the diagram and work up ### LEVEL 2 - TEST -Give it a few shakes. +Shake it. #### Up-to-date tools - ./Shake is up to date @@ -300,7 +300,7 @@ In site repo: - js/site.js: add NEW, 3 places - Makefile: add NEW, 2 places -- commit: `manuals: add NEW` +- commit: `manuals: NEW` - make snapshot-NEW (after ensuring main repo has been release-tagged) - push