-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathmkdocs.yml
44 lines (43 loc) · 1.16 KB
/
mkdocs.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
site_name: GOS
theme:
name: 'material'
features:
- navigation.tabs
- navigation.sections
markdown_extensions:
- admonition
- pymdownx.tabbed
- pymdownx.superfences
repo_url: https://github.com/roger21gm/GOS
repo_name: roger21gm/GOS
extra:
social:
- icon: fontawesome/brands/twitter
link: https://twitter.com/roger21gm
- icon: fontawesome/brands/docker
link: https://hub.docker.com/r/roger21gm
- icon: fontawesome/brands/linkedin
link: https://linkedin.com/in/rogergeneroso
nav:
- Getting Started:
- Introduction: 'README.md'
- GOS & BUP:
- GOS: 'gos_result.md'
- BUP: 'bup_result.md'
- Quick start: 'quickstart.md'
- Language Specification:
- Introduction: bup_intro.md
- Blocks: bup.md
- Data types: data.md
- Identifiers: identifiers.md
- Comments: comments.md
- Expressions: expr.md
- Data access: access.md
- Lists: lists.md
- Constraints: constraints.md
- Strings: strings.md
- Online demo: https://gos.rgeneroso.online
# Google Analytics
google_analytics:
- !!python/object/apply:os.getenv ["GOOGLE_ANALYTICS_KEY"]
- auto