1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
#!/bin/sh
# generate sed file for filename replaces
echo "# Don't edit this file is generated" > htex.sed
for i in *.tex
do
j=${i/.tex/.htex}
echo "s/$i/$j/" >> htex.sed
done
for i in *.tex
do
htex=${i/.tex/.htex}
echo "$i -> $htex"
# retrieve exampledir
exdir=`grep FPCexampledir $i | sed "s+\(.*\)FPCexampledir{\(.*\)}+\2+"`
# replace FPCexample calls
if [ "$exdir" != "" ]
then
j=${i/.tex/.tmp}
sed "s/FPCexample{\(.*\)}/input{$exdir\/\1.tex}/" $i > $j
k=$j
else
j=$i
k=""
fi
sed -f htex.sed $j > $htex
# remove temp
[ $k ] && [ -e $k ] && rm $k
done
rm htex.sed
|
