diff --git a/djvulibre/tools/any2djvu b/djvulibre/tools/any2djvu
index 581766a..c5539b7 100755
--- a/djvulibre/tools/any2djvu
+++ b/djvulibre/tools/any2djvu
@@ -230,4 +230,4 @@ done
 
 log=`date -u`": "`whoami`'@'`hostname`", pid $$: $0 (cwd "`pwd`")"
 
-[ -z $silent ]  && echo '\-- Done' $log >&2
+[ -z $silent ] && echo '\-- Done' $log >&2 ||: