rename user-guide

micro-os-plus · Nov 22, 2023 · dc62054 · dc62054
1 parent 0611909
commit dc62054
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/website/config.doxyfile b/website/config.doxyfile
@@ -89,7 +89,7 @@ INPUT = \
 ../src \
 pages/home.md \
 pages/install.md \
-pages/developer.md \
+pages/user-guide.md \
 pages/maintainer.md \
 pages/testing.md \
 pages/change-log.md \

diff --git a/website/pages/developer.md → website/pages/user-guide.md b/website/pages/developer.md → website/pages/user-guide.md