Changeset 6686ce7 for gnome/platform/gnome-shell.xml

Timestamp:

08/12/2022 02:22:04 AM (21 months ago)

Author:

Xi Ruoyao <xry111@…>

Branches:

11.2, 11.3, 12.0, 12.1, kea, ken/TL2024, ken/inkscape-core-mods, ken/tuningfonts, lazarus, lxqt, plabs/newcss, plabs/python-mods, python3.11, qt5new, rahul/power-profiles-daemon, renodr/vulkan-addition, trunk, xry111/llvm18, xry111/soup3, xry111/xf86-video-removal

Children:

6d237be

Parents:

5f729f8

Message:

gnome-shell: drop asciidoc dependency and related option

The release tarball contains generated man pages since gnome-shell-40 so
asciidoc is not a dependency unless you'll build gnome-shell from git
snapshot. And, the option has been renamed to "extensions_tool" and we
don't have any strong reason to use it now.

File:

• gnome/platform/gnome-shell.xml (modified) (2 diffs)

gnome/platform/gnome-shell.xml

@@ -114 +114 @@
     <bridgehead renderas="sect4">Recommended</bridgehead>
     <para role="recommended">
-      <xref linkend="asciidoc"/>,
       <xref linkend="desktop-file-utils"/>,
       <xref linkend="gnome-bluetooth"/>,
@@ -214 +213 @@
       to build the tests. But then <command>meson</command> will fail if
       <xref linkend="mutter"/> tests are not installed.
-    </para>
-
-    <para>
-      <option>-Dextensions=false</option>: This option disables building the
-      <command>gnome-extensions</command> CLI tool. Using this option removes
-      the need for <xref linkend="asciidoc"/>.
     </para>