From ddaf63fe1b41dfd58c646b05fd16dbe374a81ef3 Mon Sep 17 00:00:00 2001
From: Nico Weber <nicolasweber@gmx.de>
Date: Wed, 27 Apr 2016 16:27:45 -0400
Subject: fix path after moving github pages to ninja-build repo

---
 RELEASING | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RELEASING b/RELEASING
index 20da5d9..880a55d 100644
--- a/RELEASING
+++ b/RELEASING
@@ -25,7 +25,7 @@ Make announcement on mailing list:
 Update website:
 1. Make sure your ninja checkout is on the v1.5.0 tag
 2. Clone https://github.com/ninja-build/ninja-build.github.io
-3. In that repo, `cd ninja && ./update-docs.sh`
+3. In that repo, `./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