infra/libkookie/nixpkgs/pkgs/tools/typesetting/tex/nix/lhs2tex.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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