Rename delegation_design_spec pdf and tex to shelley-delegation

Update stale references
IntersectMBO · Jan 13, 2023 · f1b6504 · f1b6504
1 parent a0e3753
commit f1b6504
Show file tree

Hide file tree

Showing 10 changed files with 9 additions and 9 deletions.
diff --git a/README.md b/README.md
@@ -111,7 +111,7 @@ The LaTeX documents will be placed inside directories named `result*`, e.g.:
 
 ```shell
 result-2/byron-ledger.pdf
-result-3/delegation_design_spec.pdf
+result-3/shelley-delegation.pdf
 result-4/non-integer-calculations.pdf
 result-5/small-step-semantics.pdf
 result-6/ledger-spec.pdf

diff --git a/docs/non-integer-calculations/references.bib b/docs/non-integer-calculations/references.bib
@@ -12,7 +12,7 @@ @misc{delegation_design
   author = {{IOHK Formal Methods Team}},
   title  = {{Design Specification for Delegation and Incentives in Cardano, IOHK Deliverable SL-D1}},
   year   = {2018},
-  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/delegation_design_spec},
+  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/eras/shelley/design-spec/shelley-delegation.tex},
 }
 
 @misc{byron_ledger_spec,

diff --git a/eras/alonzo/formal-spec/references.bib b/eras/alonzo/formal-spec/references.bib
@@ -12,7 +12,7 @@ @misc{delegation_design
   author = {Philipp Kant and Lars Br\"unjes and Duncan Coutts},
   title  = {{Design Specification for Delegation and Incentives in Cardano}},
   year   = {2018},
-  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/delegation_design_spec},
+  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/eras/shelley/design-spec/shelley-delegation.tex},
 }
 
 @article{chimeric,

diff --git a/eras/babbage/formal-spec/references.bib b/eras/babbage/formal-spec/references.bib
@@ -12,7 +12,7 @@ @misc{delegation_design
   author = {Philipp Kant and Lars Br\"unjes and Duncan Coutts},
   title  = {{Design Specification for Delegation and Incentives in Cardano}},
   year   = {2018},
-  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/delegation_design_spec},
+  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/eras/shelley/design-spec/shelley-delegation.tex},
 }
 
 @article{chimeric,

diff --git a/eras/byron/chain/formal-spec/references.bib b/eras/byron/chain/formal-spec/references.bib
@@ -39,5 +39,5 @@ @misc{delegation_design
   title  = {Design Specification for Delegation and Incentives in
 Cardano},
   year   = {2018},
-  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/delegation_design_spec},
+  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/eras/shelley/design-spec/shelley-delegation.tex},
 }
diff --git a/eras/shelley-ma/formal-spec/references.bib b/eras/shelley-ma/formal-spec/references.bib
@@ -19,7 +19,7 @@ @misc{delegation_design
   author = {Philipp Kant and Lars Br\"unjes and Duncan Coutts},
   title  = {{Design Specification for Delegation and Incentives in Cardano}},
   year   = {2018},
-  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/delegation_design_spec},
+  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/eras/shelley/design-spec/shelley-delegation.tex},
 }
 
 @article{chimeric,

diff --git a/eras/shelley/design-spec/Makefile b/eras/shelley/design-spec/Makefile
@@ -5,7 +5,7 @@
 ##
 
 # Document name
-DOCNAME = delegation_design_spec
+DOCNAME = shelley-delegation
 
 # You want latexmk to *always* run, because make does not have all the info.
 # Also, include non-file targets in .PHONY so they are run regardless of any

diff --git a/eras/shelley/design-spec/default.nix b/eras/shelley/design-spec/default.nix
@@ -4,7 +4,7 @@ with pkgs;
 
 latex.buildLatex {
   name = "delegation-design-spec";
-  texFiles = [ "delegation_design_spec" ];
+  texFiles = [ "shelley-delegation" ];
   meta = with lib; {
     description = "Delegation Design Specification";
     license = licenses.asl20;

diff --git a/eras/shelley/design-spec/references.bib b/eras/shelley/design-spec/references.bib
@@ -12,7 +12,7 @@ @misc{delegation_design
   author = {{IOHK Formal Methods Team}},
   title  = {{Design Specification for Delegation and Incentives in Cardano, IOHK Deliverable SL-D1}},
   year   = {2018},
-  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/docs/delegation_design_spec},
+  url   = {https://github.com/input-output-hk/cardano-ledger/tree/master/eras/shelley/design-spec/shelley-delegation.tex},
 }
 
 @misc{byron_ledger_spec,

diff --git a/...ey/design-spec/delegation_design_spec.tex → ...helley/design-spec/shelley-delegation.tex b/...ey/design-spec/delegation_design_spec.tex → ...helley/design-spec/shelley-delegation.tex