summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNico Weber <nicolasweber@gmx.de>2016-04-27 20:27:45 (GMT)
committerNico Weber <nicolasweber@gmx.de>2016-04-27 20:27:45 (GMT)
commitddaf63fe1b41dfd58c646b05fd16dbe374a81ef3 (patch)
tree4317f05e81b0e9481be3299b699c23c3f1e82778
parent06b0e568f62d228837e96c485447f55da1ae9b5d (diff)
downloadNinja-ddaf63fe1b41dfd58c646b05fd16dbe374a81ef3.zip
Ninja-ddaf63fe1b41dfd58c646b05fd16dbe374a81ef3.tar.gz
Ninja-ddaf63fe1b41dfd58c646b05fd16dbe374a81ef3.tar.bz2
fix path after moving github pages to ninja-build repo
-rw-r--r--RELEASING2
1 files changed, 1 insertions, 1 deletions
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