From 0cfa7ce14d28bef390070b321fcccca579ba2559 Mon Sep 17 00:00:00 2001 From: Nico Weber Date: Wed, 25 Mar 2015 12:19:14 -0700 Subject: make notes on how to update docs more detailed --- RELEASING | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/RELEASING b/RELEASING index fd4affb..4d08253 100644 --- a/RELEASING +++ b/RELEASING @@ -23,6 +23,9 @@ Make announcement on mailing list: 1. copy old mail Update website: -(note to self: website is now in github.com/martine/martine.github.io) -1. rebuild manual, put in place on website -2. update home page mention of latest version. +1. Make sure your ninja checkout is on the v1.5.0 tag +2. Clone https://github.com/martine/martine.github.io +3. In that repo, `cd ninja && ./update-docs.sh` +4. Update index.html with newest version and link to release notes +5. git commit -m 'run update-docs.sh, 1.5.0 release' +6. git push origin master -- cgit v0.12