Subject: bug#46526: closed (Re: bug#46526: [PATCH] gnu: picom: fix man page generation)

From: [email-masked] (GNU bug Tracking System)
Date: Tue, 16 Feb 2021 08:38:02 +0000

Your bug report

#46526: [PATCH] gnu: picom: fix man page generation

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
46526: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=46526
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#46526: [PATCH] gnu: picom: fix man page generation
From: 宋文武 <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Tue, 16 Feb 2021 16:38:54 +0800
List-Id: <debbugs-submit.debbugs.gnu.org>

[email-masked] writes:

> From: Morgan Smith <[email-masked]>
>
> * gnu/packages/compton.scm (picom)[arguments]: Change flag build_docs to
> with_docs

Applied, thank you!

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