diff --git a/docs/git_how.txt b/docs/git_how.txt
new file mode 100644
index 0000000..2256ca6
--- /dev/null
+++ b/docs/git_how.txt
@@ -0,0 +1,11 @@
+git checkout working
+-- do work
+git add ...
+git commit
+
+to upload:
+
+git checkout master
+git pull ; usually unnecessary
+git merge working
+git push
diff --git a/tools/README.footer.md b/tools/README.footer.md
index 1de705d..d3ddc68 100644
--- a/tools/README.footer.md
+++ b/tools/README.footer.md
@@ -40,7 +40,7 @@ Yes. I'll put a list here when people remind me what they are.
 
 #### Do you have any advice on how to create my own single-file library?
 
-Yes. https://github.com/nothings/stb/blob/master/stb_howto.txt
+Yes. https://github.com/nothings/stb/blob/master/docs/stb_howto.txt
 
 #### Why public domain?
 
diff --git a/mr.bat b/tools/mr.bat
similarity index 56%
rename from mr.bat
rename to tools/mr.bat
index f86cfed..475bc4f 100644
--- a/mr.bat
+++ b/tools/mr.bat
@@ -1,3 +1 @@
-cd tools
 debug\make_readme
-cd ..
\ No newline at end of file