Skip to content
This repository
Newer
Older
100755 48 lines (37 sloc) 0.781 kb
bc53e1ea »
2010-01-29 Added "make all langs" script.
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
d2341a27 »
2011-11-18 Add filtering by arguments
10 echo $i;
11
bc53e1ea »
2010-01-29 Added "make all langs" script.
12 for dir in $dirContent; do
13 if [ -n $dir ]; then
14
15 isLang=1
16 for i in ${exclude[@]}; do
17 if [ $i == $dir ]; then
18 isLang=0
19 fi
20 done
21
22 if [ $isLang -eq 1 ]; then
d2341a27 »
2011-11-18 Add filtering by arguments
23 if [ "$1" = "" ]; then
24 argString="${argString} ${dir}"
25 else
26 for i in ${@}; do
27 if [ $i = $dir ]; then
28 argString="${argString} ${dir}"
29 fi
30 done
31 fi
bc53e1ea »
2010-01-29 Added "make all langs" script.
32 fi
33 fi
34 done
35
36 echo "Will generate pdf for the following languages:"
37 echo " "$argString
38
39 mkdir -p $outputDir
40
41 echo
42 echo "The generation process will start now."
43 time ${baseDir}/latex/makepdf $argString
44
45 echo
46 echo
47 echo "Done!"
Something went wrong with that request. Please try again.