GNU bug report logs - #74306
[PATCH gnome-team 00/44] gstreamer, GTK, fontmanager updates

Previous Next

Full log

View this message in rfc822 format

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: 74306 <at> debbugs.gnu.org
Cc: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>, Maxim Cournoyer <maxim.cournoyer <at> gmail.com>, Liliana Marie Prikler <liliana.prikler <at> gmail.com>, Vivien Kraus <vivien <at> planete-kraus.eu>
Subject: [bug#74306] [PATCH gnome-team 17/44] gnu: glib-minimal: Fix deprecation warning.
Date: Mon, 11 Nov 2024 15:17:00 +0900

* gnu/packages/glib.scm (glib-minimal) [configure-flags]: Replace man option
by man-pages, and set it to disabled instead of false.

Change-Id: Id1426e10b2f5f66869d1414f253ca22169323972
---
 gnu/packages/glib.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/glib.scm b/gnu/packages/glib.scm
index 2732d739bf..fc6c2bd4bb 100644
--- a/gnu/packages/glib.scm
+++ b/gnu/packages/glib.scm
@@ -280,7 +280,7 @@ (define glib-minimal
                        ,(this-package-native-input "python-wrapper")))
                 '()))
       #:configure-flags #~(list "--default-library=both"
-                                "-Dman=false"
+                                "-Dman-pages=disabled"
                                 "-Dselinux=disabled"
                                 (string-append "--bindir="
                                                #$output:bin "/bin"))
@@ -553,7 +553,7 @@ (define-public glib-with-documentation
        (substitute-keyword-arguments (package-arguments base)
          ((#:configure-flags flags ''())
           #~(cons "-Ddocumentation=true"
-                  (delete "-Dman=false" #$flags)))
+                  (delete "-Dman-pages=disabled" #$flags)))
          ((#:phases phases)
           #~(modify-phases #$phases
               (add-after 'install 'move-doc
-- 
2.46.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.