diff options
| -rwxr-xr-x | makediffhtml.sh | 2 | ||||
| -rwxr-xr-x | makehtml.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/makediffhtml.sh b/makediffhtml.sh index 18260ed..15c4a30 100755 --- a/makediffhtml.sh +++ b/makediffhtml.sh @@ -28,7 +28,7 @@ sed 's/~</"</g' $SPECDOC.tmp4 >$SPECDOC.tmp5 # This in not a valid HTML output, so detect this and warn user. # For detection, we rely on the fact that file utility # recognizes files with NULL characters as binary data. -if test `file -b $SPECDOC.tmp5` = 'data'; +if test "$(file -b $SPECDOC.tmp5)" = 'data'; then echo echo WARNING! diff --git a/makehtml.sh b/makehtml.sh index 93e26b5..b2f044c 100755 --- a/makehtml.sh +++ b/makehtml.sh @@ -24,7 +24,7 @@ sed 's/~</"</g' $SPECDOC.tmp4 >$SPECDOC.tmp5 # This in not a valid HTML output, so detect this and warn user. # For detection, we rely on the fact that file utility # recognizes files with NULL characters as binary data. -if test `file -b $SPECDOC.tmp5` = 'data'; +if test "$(file -b $SPECDOC.tmp5)" = 'data'; then echo echo WARNING! |