Subversion Repositories wimsdev

Rev

Rev 7254 | Rev 7285 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 7254 Rev 7260
Line 129... Line 129...
129 
 if [ ! -d $src ]; then
 129 
 if [ ! -d $src ]; then
130 
  echo Directory $src not found.
 130 
  echo Directory $src not found.
131 
  exit;
 131 
  exit;
132 
 fi
 132 
 fi
133 
 ##latex2wims
 133 
 ##latex2wims
134 
 if [ -f "$lastdir/doc/srctex/.index" ]; then
 134 
 if [ -f "$lastdir/doc/srctex/0index" ]; then
135 
  cd "$lastdir/doc/srctex"
135 
  cd "$lastdir/doc/srctex"
136 
  cat .index | while read dd
 136 
  cat 0index | while read dd
137 
   do
 137 
   do
138 
     if [ ! -z "${dd}" ] ; then latex2wims ${dd}; fi
 138 
     if [ ! -z "${dd}" ] ; then latex2wims ${dd}; fi
139 
   done
 139 
   done
140 
fi
 140 
fi
141 
cd $lastdir
 141 
cd $lastdir