mkdocs.yml

site_name: Spoofax 3
site_description: Spoofax 3 documentation website

nav:
  - Home: index.md
  - Tutorials:
      - tutorial/install.md
      - tutorial/create_language_project.md
      - tutorial/change_static_semantics.md
      - tutorial/add_transformation.md
      - tutorial/pcf_tutorial.md
  - How-to Guides:
      - guide/ask_for_help.md
      - guide/report_a_bug.md
      - Eclipse LWB:
          - guide/eclipse_lwb/import.md
          - guide/eclipse_lwb/update.md
          - guide/eclipse_lwb/troubleshooting.md
      - Static Semantics:
          - guide/static-semantics/code-completion.md
      - Development:
          - guide/development/debugging-in-intellij.md
          - guide/development/troubleshooting.md
  - Reference:
      - reference/configuration.md
      - reference/eclipse-lwb/eclipse-project-files.md
  - Background:
      - background/documentation.md
      - background/motivation.md
      - background/key_ideas.md
      - background/status.md
  - Releases:
      - release/download.md

theme:
  name: material
  language: en
  logo: assets/spoofax.svg
  favicon: assets/spoofax.png
  palette:
    primary: indigo
    accent: indigo
  font:
    code: JetBrains Mono
  features:
    - navigation.expand
    - navigation.instant
    - navigation.tabs
    - navigation.tabs.sticky
    - navigation.sections
    - navigation.indexes
    - navigation.top

extra_css:
  - extra.css

repo_name: metaborg/spoofax-pie
repo_url: https://github.com/metaborg/spoofax-pie

markdown_extensions:
  - abbr
  - admonition
  - attr_list
  - codehilite:
      guess_lang: false
  - def_list
  - toc:
      permalink: true
  - pymdownx.betterem:
      smart_enable: all
  - pymdownx.caret
  - pymdownx.details
  - pymdownx.emoji:
      emoji_index: !!python/name:materialx.emoji.twemoji
      emoji_generator: !!python/name:materialx.emoji.to_svg
  - pymdownx.inlinehilite
  - pymdownx.keys
  - pymdownx.magiclink
  - pymdownx.mark
  - pymdownx.saneheaders
  - pymdownx.smartsymbols
  - pymdownx.snippets
  - pymdownx.superfences
  - pymdownx.tabbed
  - pymdownx.tasklist:
      custom_checkbox: true
  - pymdownx.tilde

plugins:
  - search
  - macros:
      module_name: docs/macro
      include_dir: docs/include
  - git-revision-date:
      enabled_if_env: CI