site: remove unrelated modules

will-break-it · will-break-it · commit a84cc21d1303 · 2025-05-20T15:04:43.000+02:00
diff --git a/site/agda-docs.config.json b/site/agda-docs.config.json
@@ -1,6 +1,6 @@
 {
   "backButtonUrl": "/formal-spec/",
   "inputDir": "./static/formal-spec",
-  "modules": ["Leios", "Cardano", "Ouroboros", "Ledger", "Ledger-Spec"],
+  "modules": ["Leios", "Cardano", "Ouroboros"],
   "githubUrl": "https://github.com/input-output-hk/ouroboros-leios-formal-spec"
 } 

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"backButtonUrl": "/formal-spec/",`
`3`	`3`	`"inputDir": "./static/formal-spec",`
`4`		`- "modules": ["Leios", "Cardano", "Ouroboros", "Ledger", "Ledger-Spec"],`
	`4`	`+ "modules": ["Leios", "Cardano", "Ouroboros"],`
`5`	`5`	`"githubUrl": "https://github.com/input-output-hk/ouroboros-leios-formal-spec"`
`6`	`6`	`}`