Changeset f2d55c92 for x/lib/webkitgtk2-systemd.xml

Timestamp:

08/23/2014 10:42:10 PM (10 years ago)

Author:

Krejzi <krejzi@…>

Branches:

7.6-blfs, 7.6-systemd, kde5-14269, kde5-14686, systemd-13485

Children:

0b37e9d6

Parents:

19afaf7

Message:

Even more checks and fixes.

git-svn-id: svn://svn.linuxfromscratch.org/BLFS/branches/systemd@14021 af4574ff-66df-0310-9fd7-8a98e5e911e0

File:

• x/lib/webkitgtk2-systemd.xml (modified) (3 diffs)

x/lib/webkitgtk2-systemd.xml

@@ -169 +169 @@
     </para>
 
-<screen role="root"><userinput>rm -rf /usr/share/gtk-doc/html/webkitgtk-3.0 &amp;&amp;
+<screen role="root"><userinput>rm -rf /usr/share/gtk-doc/html/webkit{,dom}gtk-3.0 &amp;&amp;
+mv -v /usr/share/gtk-doc/html/webkitdomgtk{,-3.0}  &amp;&amp;
 mv -v /usr/share/gtk-doc/html/webkitgtk{,-3.0}</userinput></screen>
 
@@ -180 +181 @@
     </para>
 
-<screen role="root"><userinput>rm -rf /usr/share/gtk-doc/html/webkitgtk-1.0 &amp;&amp;
+<screen role="root"><userinput>rm -rf /usr/share/gtk-doc/html/webkit{,dom}gtk-1.0 &amp;&amp;
+mv -v /usr/share/gtk-doc/html/webkitdomgtk{,-1.0}  &amp;&amp;
 mv -v /usr/share/gtk-doc/html/webkitgtk{,-1.0}</userinput></screen>
 
@@ -240 +242 @@
           /usr/lib/webkit2gtk-3.0,
           /usr/share/gtk-doc/html/webkitgtk-3.0,
-          /usr/share/gtk-doc/html/webkitdomgtk,
+          /usr/share/gtk-doc/html/webkitdomgtk-3.0,
           /usr/share/gtk-doc/html/webkit2gtk and
           /usr/share/webkitgtk-3.0 <emphasis>or</emphasis>
           /usr/include/webkit-1.0,
-          /usr/share/gtk-doc/html/webkitgtk-1.0 and
+          /usr/share/gtk-doc/html/webkitgtk-1.0,
+          /usr/share/gtk-doc/html/webkitdomgtk-1.0 and
           /usr/share/webkit-1.0
         </seg>