diff options
author | Shaun McCance <shaunm@src.gnome.org> | 2007-05-08 18:55:09 +0000 |
---|---|---|
committer | Shaun McCance <shaunm@src.gnome.org> | 2007-05-08 18:55:09 +0000 |
commit | 9f6fa0bbdbb4d26a10df00323c9007b146cc69ae (patch) | |
tree | a0325a7224baf930b4bbcaef6a467ff651e885da /tools | |
parent | be82d5912d1be905c1082b40c3fea91fd131bbe7 (diff) | |
download | gnome-doc-utils-9f6fa0bbdbb4d26a10df00323c9007b146cc69ae.tar.gz |
- Use = instead of == to test equality
* tools/gnome-doc-tool.in:
- Use = instead of == to test equality
svn path=/trunk/; revision=938
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/gnome-doc-tool.in | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/tools/gnome-doc-tool.in b/tools/gnome-doc-tool.in index 08240dd..add1fbc 100755 --- a/tools/gnome-doc-tool.in +++ b/tools/gnome-doc-tool.in @@ -77,7 +77,7 @@ Miscellaneous: EOF } echo_verbose() { - if [ "x$doc_verbose" == "x1" ]; then echo $1; fi + if [ "x$doc_verbose" = "x1" ]; then echo $1; fi } mkdir_p() { __dir__=''; @@ -156,25 +156,25 @@ DO_html() { doc_indir=$( (cd $(dirname "$doc_input") && pwd) ) doc_infile=$(basename "$doc_input") doc_inbase=$(basename "$doc_infile" ".xml") - if [ "$doc_inbase" == "$doc_infile" ]; then + if [ "$doc_inbase" = "$doc_infile" ]; then doc_inbase=$(basename "$doc_infile" ".docbook") fi; - if [ "x$doc_output" == "x" ]; then + if [ "x$doc_output" = "x" ]; then doc_outdir=`pwd` - if [ "x$doc_extension" == "x" ]; then doc_extension='.xhtml'; fi + if [ "x$doc_extension" = "x" ]; then doc_extension='.xhtml'; fi doc_outfile="${doc_inbase}${doc_extension}" - elif [ -d "$doc_output" -o $(echo "$doc_output" | sed -e 's/.*\/$/\//') == "/" ]; then + elif [ -d "$doc_output" -o $(echo "$doc_output" | sed -e 's/.*\/$/\//') = "/" ]; then mkdir_p "$doc_output" doc_outdir=`(cd "$doc_output" && pwd)` - if [ "x$doc_extension" == "x" ]; then doc_extension='.xhtml'; fi + if [ "x$doc_extension" = "x" ]; then doc_extension='.xhtml'; fi doc_outfile="${doc_inbase}${doc_extension}" else dir=`dirname "$doc_output"` mkdir_p "$dir" doc_outdir=`(cd "$dir" && pwd)` doc_outfile=`basename "$doc_output"` - if [ "x$doc_extension" == "x" ]; then + if [ "x$doc_extension" = "x" ]; then doc_extension=`echo "$doc_outfile" | grep -o '\..*'` fi; fi; |