makepdfs

   1 #!/bin/bash
   2
   3 baseDir=`dirname $0`
   4 outputDir=${baseDir}/pdf
   5
   6 exclude=('figures' 'figures-dia' 'figures-source' 'latex' 'makepdfs' 'pdf' 'README')
   7 dirContent=`ls $baseDir`
   8 argString=""
   9
  10 for dir in $dirContent; do
  11         if [ -n $dir ]; then
  12
  13                 isLang=1
  14                 for i in ${exclude[@]}; do
  15                         if [ $i == $dir ]; then
  16                                 isLang=0
  17                         fi
  18                 done
  19
  20                 if [ $isLang -eq 1 ]; then
  21                         argString="${argString} ${dir}"
  22                 fi
  23         fi
  24 done
  25
  26 echo "Will generate pdf for the following languages:"
  27 echo "  "$argString
  28
  29 mkdir -p $outputDir
  30
  31 echo
  32 echo "The generation process will start now."
  33 time ${baseDir}/latex/makepdf $argString
  34
  35 echo
  36 echo
  37 echo "Done!"