Fix the technical report

- Move it into `doc` - Actually point to the right place for building it and fix the derivation - Fix the reference from the pipeline
IntersectMBO · Nov 30, 2022 · 934ff38 · 934ff38
1 parent 7dafcad
commit 934ff38
Show file tree

Hide file tree

Showing 13 changed files with 3 additions and 2 deletions.
diff --git a/plutus-report/.latexmkrc → doc/plutus-report/.latexmkrc b/plutus-report/.latexmkrc → doc/plutus-report/.latexmkrc
diff --git a/plutus-report/applications.tex → doc/plutus-report/applications.tex b/plutus-report/applications.tex → doc/plutus-report/applications.tex
diff --git a/plutus-report/authoring.tex → doc/plutus-report/authoring.tex b/plutus-report/authoring.tex → doc/plutus-report/authoring.tex
diff --git a/plutus-report/costing.tex → doc/plutus-report/costing.tex b/plutus-report/costing.tex → doc/plutus-report/costing.tex
diff --git a/plutus-report/glossary.tex → doc/plutus-report/glossary.tex b/plutus-report/glossary.tex → doc/plutus-report/glossary.tex
diff --git a/plutus-report/intro.tex → doc/plutus-report/intro.tex b/plutus-report/intro.tex → doc/plutus-report/intro.tex
diff --git a/plutus-report/ledger.tex → doc/plutus-report/ledger.tex b/plutus-report/ledger.tex → doc/plutus-report/ledger.tex
diff --git a/plutus-report/platform-architecture.png → doc/plutus-report/platform-architecture.png b/plutus-report/platform-architecture.png → doc/plutus-report/platform-architecture.png
diff --git a/plutus-report/plutus.bib → doc/plutus-report/plutus.bib b/plutus-report/plutus.bib → doc/plutus-report/plutus.bib
diff --git a/plutus-report/plutus.tex → doc/plutus-report/plutus.tex b/plutus-report/plutus.tex → doc/plutus-report/plutus.tex
diff --git a/plutus-report/scripting.tex → doc/plutus-report/scripting.tex b/plutus-report/scripting.tex → doc/plutus-report/scripting.tex
diff --git a/nix/cells/automation/pipelines.nix b/nix/cells/automation/pipelines.nix
@@ -49,7 +49,7 @@ in
     command.text =
       let
         documents = __mapAttrs (_: v: "${v}.pdf") {
-          plutus-report = "plutus-core-specification";
+          plutus-report = "plutus-report";
           plutus-core-spec = "plutus-core-specification";
           extended-utxo-spec = "extended-utxo-specification";
           unraveling-recursion-paper = "unraveling-recursion";

diff --git a/nix/cells/plutus/packages/plutus-report.nix b/nix/cells/plutus/packages/plutus-report.nix
@@ -3,5 +3,6 @@
 cell.library.build-latex-doc {
   name = "plutus-report";
   description = "plutus report";
-  src = inputs.self + /doc/plutus-core-spec;
+  src = inputs.self + /doc/plutus-report;
+  texFiles = [ "plutus.tex" ];
 }