Enable WithDocs= by default

Let's include documentation by default so as to not confuse users.

diff --git a/NEWS.md b/NEWS.md
index a6bb7cb02a57d48729410d24d092e2df489bf559..aabe8b62e343427dd07413fd6ce68b70e0f0bf85 100644 (file)
--- a/NEWS.md
+++ b/NEWS.md
@@ -23,6 +23,7 @@
   the default tools tree
 - We now make sure git can be executed from mkosi scripts without
   running into permission errors
+- `WithDocs=` is now enabled by default.
 
 ## v18
 

diff --git a/mkosi/config.py b/mkosi/config.py
index fb92d5bdb831a1feca3a943c0e40f2730241c0c2..3e7428c54bc48f34cfda98b0ca16ac88ab5d8705 100644 (file)
--- a/mkosi/config.py
+++ b/mkosi/config.py
@@ -1288,6 +1288,7 @@ SETTINGS = (
         nargs="?",
         section="Content",
         parse=config_parse_boolean,
+        default=True,
         help="Install documentation",
     ),
     MkosiConfigSetting(

diff --git a/mkosi/resources/mkosi.md b/mkosi/resources/mkosi.md
index 9f0020e3ccd2c60fdaa325b0f344b805e181b88d..94485125a5751fddbd94795477b5df4fbb0bd733 100644 (file)
--- a/mkosi/resources/mkosi.md
+++ b/mkosi/resources/mkosi.md
@@ -708,11 +708,11 @@ boolean argument: either `1`, `yes`, or `true` to enable, or `0`, `no`,
 
 `WithDocs=`, `--with-docs`
 
-: Include documentation in the image built. By default if the
-  underlying distribution package manager supports it documentation is
-  not included in the image built. The `$WITH_DOCS` environment
-  variable passed to the `mkosi.build` scripts indicates whether this
-  option was used or not.
+: Include documentation in the image. Enabled by default. When disabled,
+  if the underlying distribution package manager supports it
+  documentation is not included in the image. The `$WITH_DOCS`
+  environment variable passed to the `mkosi.build` scripts is set to `0`
+  or `1` depending on whether this option is enabled or disabled.
 
 `BaseTrees=`, `--base-tree=`