site_name: gdbgui
site_description: A browser-based frontend to gdb (gnu debugger)

theme:
  name: "material"
repo_name: cs01/gdbgui
repo_url: https://github.com/cs01/gdbgui

nav:
  - Home: "index.md"
  - Screenshot Tour: "screenshots.md"
  - Installation: "installation.md"
  - Getting Started: "gettingstarted.md"
  - Examples: "examples.md"
  - Guides: "guides.md"
  - API: "api.md"
  - FAQ: "faq.md"
  - Contributing: "contributing.md"
  - How it Works: "howitworks.md"
  - Contact: "contact.md"
  - Changelog: "changelog.md"

markdown_extensions:
  - admonition #  note blocks, warning blocks -- https://github.com/mkdocs/mkdocs/issues/1659
  - markdown.extensions.codehilite:
      guess_lang: false

extra:
  analytics:
    provider: google
    property: UA-90243909-2