Fix nav title for role mining documentation

Evolveum · Aug 31, 2023 · 2b52306 · 2b52306
1 parent d6978db
commit 2b52306
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/roles-policies/mining/index.adoc b/docs/roles-policies/mining/index.adoc
@@ -1,5 +1,6 @@
 = Role Mining
 :page-toc: top
+:page-nav-title: Role Mining
 :page-since: "4.8"
 :page-upkeep-status: red