From 82838e1c7ebdde5479077a91c95900b270bd21e4 Mon Sep 17 00:00:00 2001 From: jhammen Date: Tue, 5 Dec 2023 07:00:25 -0500 Subject: [PATCH] add platform basics to main navigation #91 --- src/main/antora/modules/ROOT/nav.adoc | 8 ++++++++ src/main/antora/modules/platform/nav.adoc | 7 ------- 2 files changed, 8 insertions(+), 7 deletions(-) delete mode 100644 src/main/antora/modules/platform/nav.adoc diff --git a/src/main/antora/modules/ROOT/nav.adoc b/src/main/antora/modules/ROOT/nav.adoc index 16d93d15..88e9c751 100644 --- a/src/main/antora/modules/ROOT/nav.adoc +++ b/src/main/antora/modules/ROOT/nav.adoc @@ -7,6 +7,14 @@ xref:index.adoc[] * xref:intro:usingexamples/usingexamples.adoc[] +.Platform Basics + +* xref:platform:resource-creation/resource-creation.adoc[] + +* xref:platform:injection/injection.adoc[] + +* xref:platform:packaging/packaging.adoc[] + .Jakarta EE Core Profile * Jakarta CDI Lite diff --git a/src/main/antora/modules/platform/nav.adoc b/src/main/antora/modules/platform/nav.adoc deleted file mode 100644 index 0c42b3b3..00000000 --- a/src/main/antora/modules/platform/nav.adoc +++ /dev/null @@ -1,7 +0,0 @@ -.Platform Basics - -* xref:resource-creation/resource-creation.adoc[] - -* xref:injection/injection.adoc[] - -* xref:packaging/packaging.adoc[]