diff --git a/docs/publications.md b/docs/publications.md index f8cfbe8c..b93f8c64 100644 --- 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="" end="" %} diff --git a/mkdocs.yml b/mkdocs.yml index 78aa4936..1f76267d 100644 --- 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