# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1225501707 -3600
# Node ID b68189f344f7477ce85af19e0b98e287049b5cd6
# Parent  e56e2e8be061859fe12ad1575d5f0b12a3eee3e9
Fixed script syntax.

diff -r e56e2e8be061 -r b68189f344f7 instmacros
--- a/instmacros	Sat Nov 01 02:02:29 2008 +0100
+++ b/instmacros	Sat Nov 01 02:08:27 2008 +0100
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-if [ ! $1 ] ; then
+if [[ ! $1 ]] ; then
     echo "Please specify a directory such as ../mysite or /tmp/mysite."
     echo "This should be the root of your Wiki installation and contain the wiki"
     echo "directory."
diff -r e56e2e8be061 -r b68189f344f7 insttheme
--- a/insttheme	Sat Nov 01 02:02:29 2008 +0100
+++ b/insttheme	Sat Nov 01 02:08:27 2008 +0100
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-if [ ! $2 ] ; then
+if [[ ! $2 ]] ; then
     echo "Please specify a directory such as ../mywiki or /tmp/mywiki along"
     echo "with the name of the theme into which the CategoryMenu styles will be"
     echo "copied."