rename docs file

JuliaMolSim · Oct 1, 2023 · f1ebf58 · f1ebf58
1 parent bc1b0d3
commit f1ebf58
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -8,7 +8,7 @@ makedocs(
     ),
     pages=[
         "Home"                      => "index.md",
-        "Documentation"             => "docs.md",
+        "Documentation"             => "documentation.md",
         "Differentiable simulation" => "differentiable.md",
         "Examples"                  => "examples.md",
         "Exercises"                 => "exercises.md",

diff --git a/docs/src/docs.md → docs/src/documentation.md b/docs/src/docs.md → docs/src/documentation.md