web commit by UlrikSverdrup: minor: rm duplication

diff --git a/doc/rcs/git/discussion.mdwn b/doc/rcs/git/discussion.mdwn
index da162938afcc1df917fd1df3011e827eef3a6380..fa66a77cd359ce1674addeae421847812cc92599 100644 (file)
--- a/doc/rcs/git/discussion.mdwn
+++ b/doc/rcs/git/discussion.mdwn
@@ -15,10 +15,6 @@ Then, in my git repository, I added this `post-commit` hook to refresh the wiki:
 
        # to refresh when changes happen
 
-       #!/bin/sh
-
-       # to refresh when changes happen
-
        BASE="/path/to/base/dir"
        SETUPFILE="$BASE/ikiwiki.setup"
        UNDERLAYDIR="$BASE/underlay"