diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-04 21:10:25 +0200 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-09-04 21:10:25 +0200 |
commit | 4011bbadc0c3a646f241ec226611deee2e1a07dd (patch) | |
tree | b87d2a76731dd78037ffd1956125b34a01ad6e09 | |
parent | 56a0f32eadf62861e95428381f2be0b02d4d2c91 (diff) |
Make it work for paths starting with `..'.
-rwxr-xr-x | render_locally | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/render_locally b/render_locally index 3e047c52..01bfe5a8 100755 --- a/render_locally +++ b/render_locally @@ -11,10 +11,10 @@ src=$(dirname "$0") && # Invoking ikiwiki with ``src=.'' will make it render `.git/' as well. -if [ "$src" = . ] -then src=$(pwd) -else : -fi && +case $src in + .*) src=$(cd "$src" && pwd);; + *) :;; +esac && dest=$src.rendered && ikiwiki \ |