From 9c8921d7201e81f4a1f64d2a075ab7ca8b3f213d Mon Sep 17 00:00:00 2001 From: Georg Wicke-Arndt Date: Tue, 19 Mar 2024 09:43:20 +0100 Subject: [PATCH] Add Docker instructions --- mkdocs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/mkdocs.yml b/mkdocs.yml index 9ac9544171..3f9e29a608 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -21,6 +21,7 @@ nav: - Dependencies: guide/deps.md - Workspaces: guide/workspaces.md - Virtual Projects: guide/virtual.md + - Docker: guide/docker.md - Commands: - Overview: guide/commands/index.md - add: guide/commands/add.md