diff --git a/mkdocs/mkdocs.yml b/mkdocs/mkdocs.yml
index d893b232b..4cc42d8b2 100644
--- a/mkdocs/mkdocs.yml
+++ b/mkdocs/mkdocs.yml
@@ -31,7 +31,7 @@ nav:
      - Getting started:
           - Installation: 'getting-started/installation.md'
           - Writing circuits: 'getting-started/writing-circuits.md'
-          - Compiling circuits: 'getting-started/compiling-circuits.md'
+          - Compiling circuits: 'getting-started/compiling-circuits.md'          
           - Computing the witness: 'getting-started/computing-the-witness.md'
           # - Testing circuits: 'getting-started/testing-circuits.md'
           - Proving circuits with ZK: 'getting-started/proving-circuits.md'
@@ -67,6 +67,12 @@ nav:
                - Compiler Messages: 'circom-language/circom-insight/compiler-messages.md'
                - Unknowns : 'circom-language/circom-insight/unknowns.md'
                - Circom Library: 'circom-language/circom-insight/circom-library.md'
+          - Complete compilation options: 'getting-started/compilation-options.md'
+          - Format of the output files:
+               - Sym: 'circom-language/formats/sym.md'
+               - JSON constraints: 'circom-language/formats/constraints-json.md'
+               - JSON simplification substitutions: 'circom-language/formats/simplification-json.md'
+          
      - More circuits: 
           - Basic circuits: 'more-circuits/more-basic-circuits.md'
      - Downloads: 'downloads/downloads.md'