diff --git a/doc/kernel/index.rst b/doc/kernel/index.rst index 5f62fe551d..74c3bc3a07 100644 --- a/doc/kernel/index.rst +++ b/doc/kernel/index.rst @@ -11,3 +11,4 @@ Kernel usermode/index.rst data_structures/index.rst timing_functions/index.rst + util/index.rst diff --git a/doc/reference/util/index.rst b/doc/kernel/util/index.rst similarity index 100% rename from doc/reference/util/index.rst rename to doc/kernel/util/index.rst diff --git a/doc/reference/index.rst b/doc/reference/index.rst index 5efda911c8..ba665ccd24 100644 --- a/doc/reference/index.rst +++ b/doc/reference/index.rst @@ -34,6 +34,5 @@ API Reference task_wdt/index.rst misc/timeutil.rst usb/index.rst - util/index.rst settings/index.rst virtualization/index.rst