ovni/mkdocs.yml

54 lines
1.2 KiB
YAML
Raw Permalink Normal View History

site_name: ovni
docs_dir: doc
2022-08-29 17:10:38 +02:00
extra_css: [extra.css]
2022-08-31 11:31:55 +02:00
theme:
name: readthedocs
sticky_navigation: false
2023-12-21 14:50:21 +01:00
highlightjs: true
hljs_languages:
- abnf
2022-08-31 11:31:55 +02:00
extra_javascript:
- https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML
markdown_extensions:
- admonition
2022-08-31 11:31:55 +02:00
- attr_list
- def_list
- mdx_math:
use_gitlab_delimiters: true
enable_dollar_delimiter: true
add_preview: true
- toc:
permalink: "#"
separator: "_"
nav:
- index.md
- 'User guide':
- user/concepts.md
- user/installation.md
- 'Runtime':
- user/runtime/tracing.md
- user/runtime/mark.md
- user/runtime/distributed.md
- user/runtime/kernel.md
- user/runtime/trace_spec.md
- 'Emulation':
- user/emulation/index.md
- user/emulation/ovni.md
- user/emulation/nosv.md
- user/emulation/nanos6.md
2023-08-18 12:33:01 +02:00
- user/emulation/tampi.md
2023-08-31 10:38:24 +02:00
- user/emulation/mpi.md
- user/emulation/openmp.md
- user/emulation/events.md
- user/emulation/versions.md
2023-11-13 12:54:15 +01:00
- CHANGELOG.md
2022-08-31 11:31:55 +02:00
- 'Developer guide':
2023-02-14 16:38:43 +01:00
- dev/index.md
2023-12-21 14:50:21 +01:00
- dev/events.md
2023-02-14 16:38:43 +01:00
- dev/channels.md
- dev/patchbay.md
- dev/mux.md
- dev/paraver.md
- dev/model.md
- dev/extend.md