diff options
Diffstat (limited to 'mkdocs.yml')
| -rw-r--r-- | mkdocs.yml | 23 |
1 files changed, 14 insertions, 9 deletions
| @@ -1,14 +1,19 @@ | |||
| 1 | site_name: Sink | 1 | site_name: Sink |
| 2 | pages: | 2 | pages: |
| 3 | - Home: index.md | 3 | - Home: index.md |
| 4 | - Terminology: terminology.md | 4 | - Design: |
| 5 | - Overview: design.md | 5 | - Terminology: terminology.md |
| 6 | - Resource: resource.md | 6 | - "Design Goals": designgoals.md |
| 7 | - Storage: storage.md | 7 | - Overview: design.md |
| 8 | - Logging: logging.md | 8 | - "Client API": clientapi.md |
| 9 | - "Client API": clientapi.md | 9 | - "Application Domain Types": applicationdomaintypes.md |
| 10 | - sinksh: sinksh.md | 10 | - Queries: queries.md |
| 11 | - "Application Domain Types": applicationdomaintypes.md | 11 | - Resource: resource.md |
| 12 | - "Extending Sink": extending.md | 12 | - "Store and Indexes": storage.md |
| 13 | - Logging: logging.md | ||
| 14 | - "Tradeoffs and Design Decisions": tradeoffs.md | ||
| 15 | - Development: | ||
| 16 | - "Extending Sink": extending.md | ||
| 13 | - Building: building.md | 17 | - Building: building.md |
| 18 | - "Sink Shell": sinksh.md | ||
| 14 | theme: readthedocs | 19 | theme: readthedocs |