Exclude `/usr/share/gtk-doc/*` with `WithDocs=no`

diff --git a/mkosi/installer/apt.py b/mkosi/installer/apt.py
index c63a94da69c089d2baec89e7156f315ab16ee01e..3eb3426a3180818b909b457d2b83e5754feed2f5 100644 (file)
--- a/mkosi/installer/apt.py
+++ b/mkosi/installer/apt.py
@@ -169,6 +169,7 @@ class Apt(PackageManager):
                 "-o", "DPkg::Options::=--path-include=/usr/share/doc/*/copyright",
                 "-o", "DPkg::Options::=--path-exclude=/usr/share/man/*",
                 "-o", "DPkg::Options::=--path-exclude=/usr/share/groff/*",
+                "-o", "DPkg::Options::=--path-exclude=/usr/share/gtk-doc/*",
                 "-o", "DPkg::Options::=--path-exclude=/usr/share/info/*",
             ]
 

diff --git a/mkosi/installer/pacman.py b/mkosi/installer/pacman.py
index c1b03b8a9a1f79d61a0993fb6eaafb0ecafec40d..195dea8af0f125338c499280f6cd6150cadf6b09 100644 (file)
--- a/mkosi/installer/pacman.py
+++ b/mkosi/installer/pacman.py
@@ -102,6 +102,7 @@ class Pacman(PackageManager):
                         NoExtract = usr/share/doc/*
                         NoExtract = usr/share/man/*
                         NoExtract = usr/share/groff/*
+                        NoExtract = usr/share/gtk-doc/*
                         NoExtract = usr/share/info/*
                         """
                     )