[doc] add advanced in setup the Move Prover (#563)

add advanced in setup the Move Prover
aptos-labs · Aug 26, 2024 · f0e5367 · f0e5367
1 parent 76a9ab1
commit f0e5367
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/apps/nextra/pages/en/build/cli.mdx b/apps/nextra/pages/en/build/cli.mdx
@@ -62,7 +62,7 @@ For more advanced users, the CLI can also be used to run a private Aptos network
     <Card.Description>Setup and configure the Aptos CLI </Card.Description>
   </Card>
   <Card href="./cli/setup-cli/install-move-prover">
-    <Card.Title>Move Prover</Card.Title>
+    <Card.Title>Advanced (Move Prover)</Card.Title>
     <Card.Description>Setup and install the Move Prover</Card.Description>
   </Card>
 </Cards>
@@ -82,4 +82,4 @@ For more advanced users, the CLI can also be used to run a private Aptos network
     <Card.Title>Running a Local Network</Card.Title>
     <Card.Description>Run a local node / network</Card.Description>
   </Card>
-</Cards>
+</Cards>