mirror of
https://github.com/cs01/gdbgui
synced 2024-11-16 07:47:46 +01:00
31 lines
780 B
YAML
31 lines
780 B
YAML
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
|