From 512e1fe015eee43c24d9ce1e1299e210b5e9460c Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Mon, 22 Nov 2021 10:30:25 -1000 Subject: [PATCH] ;doc: note extra release step --- RELEASING.md | 1 + 1 file changed, 1 insertion(+) diff --git a/RELEASING.md b/RELEASING.md index 695901ef9..cc67569b5 100644 --- a/RELEASING.md +++ b/RELEASING.md @@ -234,6 +234,7 @@ In release branch: In site: - make snapshot-NEW +- (cd src; rm current; ln -s NEW current) - js/site.js: add NEW, update currentrelease