mirrors/hedgedoc
1
0
Fork 0
mirror of https://github.com/hedgedoc/hedgedoc.git synced 2025-06-07 01:51:36 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

docs: Add docker docs to navbar

Browse source 
Signed-off-by: David Mehren <git@herrmehren.de>
This commit is contained in:
David Mehren 2023-03-12 21:47:17 +01:00
parent c278f6d78b
commit b5e64880cd
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/content/dev/docker.md
View file

@ -1,4 +1,4 @@
# Build # Building Docker images
To build docker images of the backend or frontend use the following commands. To build docker images of the backend or frontend use the following commands.
Make sure that you have installed the [Docker BuildKit Plugin](https://docs.docker.com/build/install-buildx/) and Make sure that you have installed the [Docker BuildKit Plugin](https://docs.docker.com/build/install-buildx/) and

3
docs/mkdocs.yml
View file

@ -23,13 +23,14 @@ nav:
- Getting Started: dev/getting-started.md - Getting Started: dev/getting-started.md
- Frontend: dev/setup/frontend.md - Frontend: dev/setup/frontend.md
- Development Notes: dev/dev_notes.md - Development Notes: dev/dev_notes.md
- Docker: dev/docker.md
- Writing Docs: dev/documentation.md
- Design Documents: - Design Documents:
- API Authentication: dev/design_docs/api_auth.md - API Authentication: dev/design_docs/api_auth.md
- Configuration: dev/design_docs/config.md - Configuration: dev/design_docs/config.md
- Events: dev/design_docs/events.md - Events: dev/design_docs/events.md
- Notes: dev/design_docs/notes.md - Notes: dev/design_docs/notes.md
- 'User Profiles & Authentication': dev/design_docs/user_profiles.md - 'User Profiles & Authentication': dev/design_docs/user_profiles.md
- 'Writing Docs': dev/documentation.md
- FAQ: https://hedgedoc.org/faq - FAQ: https://hedgedoc.org/faq
markdown_extensions: markdown_extensions:
- toc: - toc: