note new script

diff --git a/git-notes.txt b/git-notes.txt
index ce2e34d31b757e59b2a22b6fde6c0724b86f8115..951db48a8be79037d756e4b11cb484d3729e62df 100644 (file)
--- a/git-notes.txt
+++ b/git-notes.txt
@@ -1,6 +1,11 @@
-to edit servus.html ; edit in the web clone (and git-commit -a ), then
+                    Git notes for Servus hackers
+
+To edit servus.html ; edit in the web clone (and git-commit -a ), then
 from the live version do git-pull html.
 
+Rather than running git-pull in the html dir, instead run
+pull-and-update.sh which runs git-update-server-info too.
+
 to get a copy, either:
 git-clone http://www.pick.ucam.org/~matthew/irc/.git/ [if
 git-update-server-info has been run in the web clone]