fix: mdbook compilation

0xPolygonMiden · Jul 12, 2023 · f942506 · f942506
1 parent cca4bb8
commit f942506
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/docs/src/description/main.md b/docs/src/description/main.md
@@ -1,12 +1,12 @@
 # Language Description
 
-- [Syntax overview](./description/syntax.md)
-- [Code organization](./description/organization.md)
-- [Type declarations](./description/declarations.md)
-- [Constraint descriptions](./description/constraints.md)
-- [Variables](./description/variables.md)
-- [Evaluators](./description/evaluators.md)
-- [Convenience syntax](./description/convenience.md)
-- [AirScript Example](./description/example.md)
-- [Keywords](./description/keywords.md)
-- [Appendix](./description/appendix.md)
+- [Syntax overview](./syntax.md)
+- [Code organization](./organization.md)
+- [Type declarations](./declarations.md)
+- [Constraint descriptions](./constraints.md)
+- [Variables](./variables.md)
+- [Evaluators](./evaluators.md)
+- [Convenience syntax](./convenience.md)
+- [AirScript Example](./example.md)
+- [Keywords](./keywords.md)
+- [Appendix](./appendix.md)