diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-12-10 20:32:08 +0100 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-12-10 20:32:08 +0100 |
| commit | 281e6d372eb155bc1f09844100aceb9505ec384e (patch) | |
| tree | 4a4f0234a42094d4c5a276e0568c5cf215c9fb6f /render_locally | |
| parent | 8f8c67c54535e9cfc92145195e338dc73d8151cd (diff) | |
render_locally (src): Make the path symlink-free.
Diffstat (limited to 'render_locally')
| -rwxr-xr-x | render_locally | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/render_locally b/render_locally index ce83cd84..153e7e8a 100755 --- a/render_locally +++ b/render_locally @@ -9,12 +9,8 @@ # Written by Thomas Schwinge <tschwinge@gnu.org> -src=$(dirname "$0") && -# Invoking ikiwiki with ``src=.'' will make it render `.git/' as well. -case $src in - .*) src=$(cd "$src" && pwd);; - *) :;; -esac && +# Need a symlink-free path. +src=$(readlink -f "$(dirname "$0")") && dest=$src.rendered && ikiwiki \ |