Changeset 6d655be for gnome/platform

Timestamp:

02/12/2023 06:41:13 PM (16 months ago)

Author:

Xi Ruoyao <xry111@…>

Branches:

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

Children:

e38b1fd

Parents:

06d900b

git-author:

Xi Ruoyao <xry111@…> (02/12/2023 05:08:53 PM)

git-committer:

Xi Ruoyao <xry111@…> (02/12/2023 06:41:13 PM)

Message:

rest: Fix docdir if -Dgtk_doc=false removed

File:

• gnome/platform/rest.xml (modified) (1 diff)

gnome/platform/rest.xml

@@ -135 +135 @@
       <xref linkend="gi-docgen"/>
       is installed and you wish to build and install the API documentation.
+      If this option is removed, as the &root; user, fix the installed
+      directory name with the <command>mv
+      /usr/share/doc/{librest-1.0,rest-&rest-version;}</command> command.
     </para>