3
# generate sed file for filename replaces
4
echo "# Don't edit this file is generated" > htex.sed
8
echo "s/$i/$j/" >> htex.sed
18
exdir=`grep FPCexampledir $i | sed "s+\(.*\)FPCexampledir{\(.*\)}+\2+"`
20
# replace FPCexample calls
24
sed "s/FPCexample{\(.*\)}/input{$exdir\/\1.tex}/" $i > $j
30
sed -f htex.sed $j > $htex
33
[ $k ] && [ -e $k ] && rm $k
b'\\ No newline at end of file'