diff --git a/docs/git_how.txt b/docs/git_how.txt
deleted file mode 100644
index 2256ca6..0000000
--- a/docs/git_how.txt
+++ /dev/null
@@ -1,11 +0,0 @@
-git checkout working
--- do work
-git add ...
-git commit
-
-to upload:
-
-git checkout master
-git pull ; usually unnecessary
-git merge working
-git push