*** any2djvu	2008/06/23 12:29:16	1.1
--- any2djvu	2008/06/23 12:34:49	1.2
***************
*** 146,152 ****
  fi
  
  log=`date -u`": "`whoami`'@'`hostname`", pid $$: $0 (cwd "`pwd`")"
! [ -z $silent ]  && echo '/-- Started' $log >&2
  
  in="$1"
  shift
--- 146,152 ----
  fi
  
  log=`date -u`": "`whoami`'@'`hostname`", pid $$: $0 (cwd "`pwd`")"
! if [ -z $silent ]; then echo '/-- Started' $log >&2; fi
  
  in="$1"
  shift
***************
*** 202,209 ****
      fi
      wget $wgetopts -O $b.djvu "$rurl/$l"
  
!     [ -z $doclean ] || rm $log
!     [ -z $silent ]  && ls -l $b.djvu
  
      in="$1"
      shift
--- 202,209 ----
      fi
      wget $wgetopts -O $b.djvu "$rurl/$l"
  
!     if [ ! -z $doclean ]; then rm $log; fi
!     if [ -z $silent ]; then ls -l $b.djvu; fi
  
      in="$1"
      shift
***************
*** 211,214 ****
  
  log=`date -u`": "`whoami`'@'`hostname`", pid $$: $0 (cwd "`pwd`")"
  
! [ -z $silent ]  && echo '\-- Done' $log >&2
--- 211,214 ----
  
  log=`date -u`": "`whoami`'@'`hostname`", pid $$: $0 (cwd "`pwd`")"
  
! if [ -z $silent ]; then echo '\-- Done' $log >&2; fi