blob: 5e930125f8755a31b28eedcfc246c41cd1429e1a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
mkdir -p $out
mkdir root
cd root
startDir=$(perl $copyIncludes $includes)
cd $startDir
lhstex() {
sourceFile=$1
targetName=$out/$(basename $(stripHash $sourceFile) .lhs).tex
echo "converting $sourceFile to $targetName..."
lhs2TeX -o "$targetName" $flags "$sourceFile"
}
lhstex $source
|
