bef6bef0d2
`stripHash` documentation states that it prints out the stripped name to the stdout, but the function stored the value in `strippedName` instead. Basically all usages did something like `$(stripHash $foo | echo $strippedName)` which is just braindamaged. Fixed the implementation and all invocations.
20 lines
328 B
Bash
20 lines
328 B
Bash
source $stdenv/setup
|
|
|
|
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
|
|
|