From 911593435aa58a7b76f539fe4f09843deb40b262 Mon Sep 17 00:00:00 2001
From: alnoki <43892045+alnoki@users.noreply.github.com>
Date: Tue, 15 Nov 2022 14:26:28 -0800
Subject: [PATCH] Remove CLI option true defaults to enable negation

@wrwg @davidiw @gregnazario @alinush

Per #5581 , DocGen CLI options defaulting to true prohibit negation.
---
 aptos-move/framework/src/docgen.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/aptos-move/framework/src/docgen.rs b/aptos-move/framework/src/docgen.rs
index 0b1c8353a23d7..fc37211fae900 100644
--- a/aptos-move/framework/src/docgen.rs
+++ b/aptos-move/framework/src/docgen.rs
@@ -15,8 +15,8 @@ pub struct DocgenOptions {
     #[clap(long)]
     pub include_impl: bool,
 
-    /// Whether to include specifications in the generated documentation. Defaults to true.
-    #[clap(long, global = true)]
+    /// Whether to include specifications in the generated documentation. Defaults to false.
+    #[clap(long)]
     pub include_specs: bool,
 
     /// Whether specifications should be put side-by-side with declarations or into a separate
@@ -29,8 +29,8 @@ pub struct DocgenOptions {
     pub include_dep_diagram: bool,
 
     /// Whether details should be put into collapsed sections. This is not supported by
-    /// all markdown, but the github dialect. Defaults to true.
-    #[clap(long, global = true)]
+    /// all markdown, but the github dialect. Defaults to false.
+    #[clap(long)]
     pub collapsed_sections: bool,
 
     /// Package-relative path to an optional markdown template which is a used to create a