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 | |
parent | 8f8c67c54535e9cfc92145195e338dc73d8151cd (diff) |
render_locally (src): Make the path symlink-free.
-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 \ |