A complete set of instructions for using the demo directory

demo/HOWTO-format-patch.md

@@ -0,0 +1,18 @@
+The `move` directory gives a complete demonstration game, one move per file.
+
+An entire example game repository can then be build from these moves:
+
+```
+mkdir format-patch
+cd format-patch
+git init
+git checkout -b main
+for i in ../move/*; do \
+ echo cp $i board \; \
+  git add board \; \
+  git commit -m \
+   \""Applying move #" $(basename $i .md)\" \; \
+  git format-patch -1; \
+done | sh
+cd ..
+```

demo/HOWTO-git.md

@@ -0,0 +1,16 @@
+The `move` directory gives a complete demonstration game, one move per file.
+
+An entire example game repository can then be build from these moves:
+
+```
+mkdir git
+cd git
+git init
+for i in ../move/*; do \
+ echo cp $i board \; \
+ git add board \; \
+ git commit -m \
+  \""Applying move #" $(basename $i .md)\"; \
+done | sh
+cd ..
+```

demo/README.md

@@ -1,16 +1,7 @@
 The `move` directory gives a complete demonstration game, one move per file.
 
-An entire example game repository can then be build from these moves:
+An entire example game repository can then be build from these moves.
 
-```
-mkdir git
-cd git
-git init
-for i in ../move/*; do \
- echo cp $i board \; \
- git add board \; \
- git commit -m \
-  \""Applying move #" $(basename $i .md)\"; \
-done | sh
-cd ..
-```
+To see how one might do this locally, see HOWTO-git.md
+
+See HOWTO-format-patch.md for how one might generate patch files to send to a remote player.