Subject: [PATCH] gnu: picom: fix man page generation
From: [email-masked]
To: [email-masked]
Cc: Morgan Smith <[email-masked]>
Date: Mon, 15 Feb 2021 00:52:12 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

From: Morgan Smith <[email-masked]>

* gnu/packages/compton.scm (picom)[arguments]: Change flag build_docs to
with_docs

Picom renamed this flag in upstream commit
3f2a6718dfb84110862ef3b51b2c961898f21bfd
---
 gnu/packages/compton.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/compton.scm b/gnu/packages/compton.scm
index 60eae9f1cd..2a5f3bff27 100644
--- a/gnu/packages/compton.scm
+++ b/gnu/packages/compton.scm
@@ -146,7 +146,7 @@ (define-public picom
        ("xorgproto" ,xorgproto)))
     (arguments
      `(#:build-type "release"
-       #:configure-flags '("-Dbuild_docs=true")))
+       #:configure-flags '("-Dwith_docs=true")))
     (home-page "https://github.com/yshui/picom")
     (synopsis "Compositor for X11, forked from Compton")
     (description
-- 
2.30.0