Subversion Repositories wimsdev

Rev

Rev 17725 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 17725 Rev 18405
Line 299... Line 299...
299 
 
 299 
 
300 
echo " compile documents in example classes"
 300 
echo " compile documents in example classes"
301 
cd $CLASSES
 301 
cd $CLASSES
302 
clist=`ls -d [1-9][0-9][0-9][0-9]`
 302 
clist=`ls -d [1-9][0-9][0-9][0-9]`
303 
for cls in $clist; do
 303 
for cls in $clist; do
304 
 cd $CLASSES/$cls
 304 
  cd $CLASSES/$cls
305 
 if [ ! -d doc ] ; then
 305 
  if [ ! -d doc ] ; then
306 
   echo " no document in $cls" 1>/dev/null
 306 
    echo " no document in $cls" 1>/dev/null
307 
 else
 307 
  else
308 
  cd doc
 308 
    cd doc
309 
  dlist=`ls`
 309 
    dlist=`ls`
310 
  if [ ! -d "$dlist" ] ; then
 310 
    if [ ! -d "$dlist" ] ; then
311 
    for doc in $dlist ; do
 311 
      for doc in $dlist ; do
312 
      cd $CLASSES/$cls/doc/$doc ; $DOC/mkindex $WIMS_HOME $CLASSES/$cls/doc/$doc 2>/dev/null 1>/dev/null
 312 
        cd $CLASSES/$cls/doc/$doc ; $DOC/mkindex $WIMS_HOME $CLASSES/$cls/doc/$doc 2>/dev/null 1>/dev/null
- 
 
 313 
      done
- 
 
 314 
    fi
- 
 
 315 
  fi
- 
 
 316 
done
- 
 
 317 
echo " generate presentation pages in example class"
- 
 
 318 
cd $CLASSES
- 
 
 319 
clist=`ls -d [1-9][0-9][0-9][0-9]`
- 
 
 320 
for cls in $clist; do
- 
 
 321 
  cd $CLASSES/$cls/sheets
- 
 
 322 
  prlist=`ls sheet*.src 2>/dev/null`
- 
 
 323 
  if [ ! -d "$prlist" ] ; then
- 
 
 324 
    w_msg2wims_primitives=`grep msgprim $WIMS_HOME/public_html/scripts/primitives/allmsgprim | awk -F "=" '{print $2}'`
- 
 
 325 
    export w_msg2wims_primitives
- 
 
 326 
    for pr in $prlist ; do
- 
 
 327 
      file=`basename $pr .src`
- 
 
 328 
      $WIMS_HOME/bin/msg2wims $pr $file.def 1>/dev/null
313 
    done
 329 
    done
314 
  fi
 330 
  fi
315 
 fi
 - 
 
316 
done
 331 
done
317 
echo " compile documents in bases/doc"
 332 
echo " compile documents in bases/doc"
318 
cd $BASESDOC
 333 
cd $BASESDOC
319 
clist=`ls -d [0-9]*`
 334 
clist=`ls -d [0-9]*`
320 
for doc in $clist; do
 335 
for doc in $clist; do