From b5e64880cdac9ed292df770e2c113246b63b6753 Mon Sep 17 00:00:00 2001 From: David Mehren Date: Sun, 12 Mar 2023 21:47:17 +0100 Subject: [PATCH] docs: Add docker docs to navbar Signed-off-by: David Mehren --- docs/content/dev/docker.md | 2 +- docs/mkdocs.yml | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/content/dev/docker.md b/docs/content/dev/docker.md index 2eacac9bf..227a397c6 100644 --- a/docs/content/dev/docker.md +++ b/docs/content/dev/docker.md @@ -1,4 +1,4 @@ -# Build +# Building Docker images 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 diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index 1fea1a606..ab9b78b63 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -23,13 +23,14 @@ nav: - Getting Started: dev/getting-started.md - Frontend: dev/setup/frontend.md - Development Notes: dev/dev_notes.md + - Docker: dev/docker.md + - Writing Docs: dev/documentation.md - Design Documents: - API Authentication: dev/design_docs/api_auth.md - Configuration: dev/design_docs/config.md - Events: dev/design_docs/events.md - Notes: dev/design_docs/notes.md - 'User Profiles & Authentication': dev/design_docs/user_profiles.md - - 'Writing Docs': dev/documentation.md - FAQ: https://hedgedoc.org/faq markdown_extensions: - toc: