mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
32 lines
956 B
YAML
32 lines
956 B
YAML
site_name: rev.ng docs
|
|
theme: material
|
|
nav:
|
|
- "What's rev.ng?": 'what-is-revng.md'
|
|
- "Quick Start":
|
|
- Introduction: 'quick-start/index.md'
|
|
- "User's Manual":
|
|
- Introduction: 'user-manual/index.md'
|
|
- MetaAddress: 'user-manual/metaaddress.md'
|
|
- Model: 'user-manual/model.md'
|
|
- "Developer's Manual":
|
|
- Introduction: 'developer-manual/index.md'
|
|
- "References":
|
|
- Analyses: references/analyses.md
|
|
- Artifacts: references/artifacts.md
|
|
- Kinds: references/kinds.md
|
|
- Model: references/model.md
|
|
- Pipeline: references/pipeline.md
|
|
- Pipes: references/pipes.md
|
|
- Ranks: references/ranks.md
|
|
- "Schemas":
|
|
- Model JSON Schema: schemas/model-json-schema.md
|
|
markdown_extensions:
|
|
- mkdocs_graphviz
|
|
- pymdownx.superfences
|
|
- pymdownx.tabbed:
|
|
alternate_style: true
|
|
- toc:
|
|
permalink: "#"
|
|
extra_javascript:
|
|
- https://cdn.jsdelivr.net/gh/rod2ik/cdn@main/mkdocs/javascripts/mkdocs-graphviz.js
|