mk
changeset 385 b7d055cf16e8
parent 358 8787c16bc26e
child 518 e1fcfba63a31
equal deleted inserted replaced
384:3a7c08f2bf5d 385:b7d055cf16e8
     1 #!/bin/sh
     1 #!/bin/sh
     2 set -e
     2 set -e
     3 
     3 
     4 subdirs="slides handouts hws" 
     4 #subdirs="slides handouts hws"
       
     5 subdirs="hws"
       
     6 
       
     7 echo $subdirs
     5 
     8 
     6 for sd in $subdirs; do
     9 for sd in $subdirs; do
     7   cd $sd
    10   cd $sd
     8   for fl in *.tex; do
    11   for fl in *.tex; do
     9      xelatex $fl
    12      xelatex $fl