mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
f7b1130dc2
Add an empty `additional.js` file which can be used by downstream users for additional javascript code.
43 lines
1.1 KiB
YAML
43 lines
1.1 KiB
YAML
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
site_name: rev.ng docs
|
|
docs_dir: share/doc/revng
|
|
theme:
|
|
name: material
|
|
palette:
|
|
scheme: revng
|
|
font:
|
|
text: DM Sans
|
|
code: DM Mono
|
|
logo: assets/logo.svg
|
|
features:
|
|
- navigation.footer
|
|
- content.code.copy
|
|
nav:
|
|
- "What's rev.ng?": "what-is-revng.md"
|
|
- "User's Manual":
|
|
- Introduction: "user-manual/index.md"
|
|
- "Getting a working environment": "user-manual/working-environment.md"
|
|
- MetaAddress: "user-manual/metaaddress.md"
|
|
- Model: "user-manual/model.md"
|
|
- "Building a model from scratch": "user-manual/model-tutorial.md"
|
|
- "Analyses": "user-manual/analyses.md"
|
|
- "References":
|
|
- "MIME types": references/mime-types.md
|
|
- PTML: references/ptml.md
|
|
markdown_extensions:
|
|
- mkdocs_graphviz
|
|
- pymdownx.superfences
|
|
- pymdownx.tabbed:
|
|
alternate_style: true
|
|
- toc:
|
|
permalink: "#"
|
|
extra_css:
|
|
- stylesheets/main.css
|
|
- stylesheets/theme.css
|
|
extra_javascript:
|
|
- javascripts/additional.js
|
|
- https://cdn.jsdelivr.net/gh/rod2ik/cdn@main/mkdocs/javascripts/mkdocs-graphviz.js
|