Changeset 9789629b for gnome

Timestamp:

09/27/2019 12:35:56 PM (5 years ago)

Author:

Pierre Labastie <pieere@…>

Branches:

10.0, 10.1, 11.0, 11.1, 11.2, 11.3, 12.0, 12.1, 9.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, upgradedb, xry111/intltool, xry111/llvm18, xry111/soup3, xry111/test-20220226, xry111/xf86-video-removal

Children:

d0881b75

Parents:

8d112a1

Message:

Asciidoc is recommended for gnome-shell

git-svn-id: svn://svn.linuxfromscratch.org/BLFS/trunk/BOOK@22206 af4574ff-66df-0310-9fd7-8a98e5e911e0

File:

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

gnome/platform/gnome-shell.xml

@@ -91 +91 @@
     <bridgehead renderas="sect4">Recommended</bridgehead>
     <para role="recommended">
+      <xref linkend="asciidoc"/>,
       <xref linkend="gnome-bluetooth"/>,
       <xref linkend="gst10-plugins-base"/>, and
@@ -160 +161 @@
   </sect2>
 
-  <sect2 role="commands" revision="sysv">
+  <sect2 role="commands">
     <title>Command Explanations</title>
 
-    <para>
+    <para revision="sysv">
       <command>sed -i ...</command>: This command allows the GDM greeter to
       use a keyboard layout taken from the dconf database instead of a default
       US qwerty one.
     </para>
+
+    <para>
+      <option>-Dextensions=false</option>: Do not build the
+      <command>gnome-extensions</command> CLI tool. Using this option removes
+      the need for <xref linkend="asciidoc"/>.
+    </para>
+
   </sect2>