web commit by UlrikSverdrup: minor: rm duplication
parent
0c377f2975
commit
2e5f4c5056
|
@ -15,10 +15,6 @@ Then, in my git repository, I added this `post-commit` hook to refresh the wiki:
|
||||||
|
|
||||||
# to refresh when changes happen
|
# to refresh when changes happen
|
||||||
|
|
||||||
#!/bin/sh
|
|
||||||
|
|
||||||
# to refresh when changes happen
|
|
||||||
|
|
||||||
BASE="/path/to/base/dir"
|
BASE="/path/to/base/dir"
|
||||||
SETUPFILE="$BASE/ikiwiki.setup"
|
SETUPFILE="$BASE/ikiwiki.setup"
|
||||||
UNDERLAYDIR="$BASE/underlay"
|
UNDERLAYDIR="$BASE/underlay"
|
||||||
|
|
Loading…
Reference in New Issue