docs: Update after snitch_cluster#196

pulp-platform · Oct 3, 2024 · 1276733 · 1276733
1 parent 8260590
commit 1276733
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/docs/publications.md b/docs/publications.md
@@ -3,7 +3,7 @@
 If you use Occamy in your work, you can cite us:
 
 {%
-  include-markdown '../deps/snitch_cluster/docs/publications.md'
+  include-markdown '../deps/snitch_cluster/README.md'
   start="<!--start-publications-->"
   end="<!--end-publications-->"
 %}
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -27,12 +27,11 @@ plugins:
 use_directory_urls: false
 extra:
   repo: occamy
-  branch: init
+  branch: main
 nav:
   - Home: index.md
   - User Guide:
       - Getting Started: ug/getting_started.md
-      # - Repository Structure: ug/directory_structure.md
       - Tutorial: ug/tutorial.md
       - Documentation: ug/documentation.md
   - Reference Manual:
@@ -42,5 +41,4 @@ nav:
           - System Components: rm/3_system_components.md
           - Clocking: rm/4_clocking.md
           - Interrupts and Synchronization: rm/5_interrupts_and_synchronization.md
-      - Schema: schema-doc/occamy.md
   - Publications: publications.md