From 2e5f4c50561e3b0317b602ac0bcafad206a8ec5c Mon Sep 17 00:00:00 2001 From: joey Date: Wed, 12 Sep 2007 18:40:25 +0000 Subject: [PATCH 1/1] web commit by UlrikSverdrup: minor: rm duplication --- doc/rcs/git/discussion.mdwn | 4 ---- 1 file changed, 4 deletions(-) diff --git a/doc/rcs/git/discussion.mdwn b/doc/rcs/git/discussion.mdwn index da162938a..fa66a77cd 100644 --- 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" -- 2.44.0