add note about making PRE file executable

diff --git a/DEVEL/Developer.txt b/DEVEL/Developer.txt
index 7c4fa490880b3cd88db05f2c8f21c8ea5f317b99..142dc7f6ab2e6756e72901fa06e25dab94d9d642 100644 (file)
--- a/DEVEL/Developer.txt
+++ b/DEVEL/Developer.txt
@@ -61,6 +61,8 @@ B. Specify the prefix for variable substitution:
        the first line):
                #!/bin/sh
                git config nethack.substprefix MINE
+       Now make it executable:
+               chmod +x ~/nethack/GITADDDIR/DOTGIT/PRE
 C. Configure the repository:
        - cd to the top level of the repository
        - tell the repository about the directory you created above: