mkdocs.yml

site_name: Compiler-Interpreter
site_author: Martin Minařík, MIN0139

# Copyright
copyright: Copyright © 2023

# Repository
repo_name: pjp-compiler-interpreter
repo_url: https://github.com/martin-minarik/pjp-compiler-interpreter


theme:
  name: material
  language: en
  font:
    text: Roboto
    code: Roboto Mono
  features:
    - navigation.sections
    - navigation.tabs

plugins:
  - search
  - minify:
      minify_html: true

markdown_extensions:
  - abbr
  - admonition
  - attr_list
  - toc:
      permalink: true
  - pymdownx.critic:
      mode: view
  - pymdownx.highlight
  - pymdownx.inlinehilite
  - pymdownx.superfences
  - pymdownx.snippets
  - pymdownx.tasklist:
      custom_checkbox: true

nav:
  - Readme: README.md
  - Sample inputs:
      - sample1: sample_input1.md
      - sample2: sample_input2.md
      - sample3: sample_input3.md
  - Language specification: language_specification.md
  - Instruction set: instruction_set.md
  - Coverage report: htmlcov/
  - Pytest report: htmlcov/report.html