Apply suggestions from code review

cmaglie · cmaglie · commit 89e7db19642c · 2022-05-19T14:22:57.000+02:00
diff --git a/docs/sketch-project-file.md b/docs/sketch-project-file.md
diff --git a/docs/sketch-specification.md b/docs/sketch-specification.md
@@ -89,7 +89,7 @@ needed to build the sketch (platform and libraries each pinned to a specific ver
 When using a profile to compile, Arduino CLI will install all the required resources in a isolated environment, used
 only for the build, leaving the libraries and platforms installed globally in the system untouched.
 
-For more information see the [profiles documentation](sketch-profiles.md).
+For more information see the [sketch project file](sketch-project-file.md) documentation.
 
 ### Secrets
 
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -107,6 +107,7 @@ nav:
   - Integration options: integration-options.md
   - sketch-build-process.md
   - sketch-specification.md
+  - sketch-project-file.md
   - library-specification.md
   - platform-specification.md
   - Pluggable discovery specification: pluggable-discovery-specification.md
