diff options
| author | Tilman Vatteroth | 2021-01-04 13:07:44 +0100 |
|---|---|---|
| committer | Tilman Vatteroth | 2021-01-05 13:15:32 +0100 |
| commit | eaeb88401d07687eb3db8c273f7a4c0ed31ec153 (patch) | |
| tree | c05c4f17da9ce1cd0aa603febc6a14b2410e6a5e /docs/content/dev/getting-started.md | |
| parent | d52d1d255a876fcf937c9df3717f6df9b745ad22 (diff) | |
Move docs into subdirectory to make mkdocs work in a subdirectory
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
Diffstat (limited to '')
| -rw-r--r-- | docs/content/dev/getting-started.md (renamed from docs/dev/getting-started.md) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/dev/getting-started.md b/docs/content/dev/getting-started.md index b7787117..b7154b05 100644 --- a/docs/dev/getting-started.md +++ b/docs/content/dev/getting-started.md @@ -11,8 +11,8 @@ and create configs. The setup script is written in Bash, you would need bash as a prerequisite. -3. Setup the [config file](../configuration-config-file.md) or set up - [environment variables](../configuration-env-vars.md). +3. Setup the [config file](../configuration.md) or set up + [environment variables](../configuration.md). ## Running the Code |