Update docs

2023-10-03 18:00:25 +02:00
parent 314330f00f
commit f9e60a7b5e
11 changed files with 111 additions and 4 deletions
--- a/docs/make.jl
+++ b/docs/make.jl
@ -27,6 +27,7 @@ makedocs(
            "Diff" => "lib/internals/diff.md",
            "Utility" => "lib/internals/utility.md",
            "Code Generation" => "lib/internals/code_gen.md",
+            "Devices" => "lib/internals/devices.md",
        ],
        "Contribution" => "contribution.md",
    ],