@@ -15,15 +15,15 @@ let
1515in
1616builtins.listToAttrs (map
1717 (file':
18− let file = if pkgs.lib.hasSuffix ".lhs" file' then lhs2tex file' else file';
18+ let file = if pkgs.lib.hasSuffix ".lhs" file'.file then lhs2tex file'.file else file'.file;
1919 in
2020 {
21− name = filename file';
21+ name = filename file'.file;
2222 value = pkgs.texFunctions.runLaTeX {
2323 rootFile = file;
2424 # , generatePDF ? true # generate PDF, not DVI
2525 # , generatePS ? false # generate PS in addition to DVI
26− extraFiles = [ (sources.TechDoc + "/TechDoc.cls") ];
26+ extraFiles = file'.extraFiles or [ ];
2727 # , compressBlanksInIndex ? true
2828 # , packages ? [ ]
2929 texPackages = {
@@ -38,12 +38,11 @@ builtins.listToAttrs (map
3838 };
3939 };
4040 # , copySources ? false
41− # searchPath = [ (pkgs.lib.cleanSource ./.) ];
4241 };
4342 })
4443 [
45− ./tech_spec.tex
46− ./project_proposal.tex
47− # ./paper.lhs
44+ { file = ./tech_spec.tex; }
45+ { file = ./project_proposal.tex; }
46+ { file = ./paper.lhs; extraFiles = [ (sources.TechDoc + "/TechDoc.cls") ./bibl.bib ]; }
4847 ]
4948)