add tools topic

#5823
OpenLiberty · Dec 5, 2022 · 95d1ced · 95d1ced
1 parent 1892e62
commit 95d1ced
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/modules/ROOT/nav.adoc b/modules/ROOT/nav.adoc
@@ -7,6 +7,7 @@
 * xref:development-mode.adoc[Dev mode]
 * xref:java-se.adoc[Java SE support]
 * xref:installing-open-liberty-betas.adoc[Installing Open Liberty beta releases]
+* xref:develop-liberty-tools.adoc[Develop with Liberty Tools]
 * https://openliberty.io/guides/getting-started.html[Guide: Getting started with Open Liberty]
 
 // Begin development section