- Timestamp:
- 09/16/2022 07:55:29 PM (2 years ago)
- Branches:
- xry111/soup3
- Children:
- 5ff076eb
- Parents:
- 4115817
- git-author:
- Xi Ruoyao <xry111@…> (09/16/2022 03:43:17 PM)
- git-committer:
- Xi Ruoyao <xry111@…> (09/16/2022 07:55:29 PM)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
x/lib/webkitgtk.xml
r4115817 rbe9944b 7 7 <!ENTITY webkitgtk-download-http "https://webkitgtk.org/releases/webkitgtk-&webkitgtk-version;.tar.xz"> 8 8 <!ENTITY webkitgtk-download-ftp " "> 9 <!ENTITY webkitgtk-md5sum " 466351cf35e4f742590919380b5dee93">10 <!ENTITY webkitgtk-size " 25MB">9 <!ENTITY webkitgtk-md5sum "a69cd8fc05f7299458b4faf1bc99b875"> 10 <!ENTITY webkitgtk-size "32 MB"> 11 11 <!ENTITY webkitgtk-buildsize "988 MB (133 MB installed)"> 12 12 <!ENTITY webkitgtk-time "32 SBU (using parallelism=4, estimated 117 SBU using one core)"> … … 212 212 </para> 213 213 214 <screen role="root"><userinput>ninja install</userinput></screen> 215 216 <!-- Documentation is for API 4.0 in 2.36.7 release. 217 Maybe we'll have 4.1 doc in 2.38. --> 218 <!-- 219 install -vdm755 /usr/share/gtk-doc/html/webkit{2,dom}gtk-4.0 && 220 install -vm644 ../Documentation/webkit2gtk-4.0/html/* \ 221 /usr/share/gtk-doc/html/webkit2gtk-4.0 && 222 install -vm644 ../Documentation/webkitdomgtk-4.0/html/* \ 223 /usr/share/gtk-doc/html/webkitdomgtk-4.0</userinput></screen> 224 --> 214 <screen role="root"><userinput>ninja install 215 install -vdm755 /usr/share/gtk-doc/html/webkit{2,dom}gtk-4.1 && 216 install -vm644 ../Documentation/webkit2gtk-4.1/html/* \ 217 /usr/share/gtk-doc/html/webkit2gtk-4.1 && 218 install -vm644 ../Documentation/webkitdomgtk-4.1/html/* \ 219 /usr/share/gtk-doc/html/webkitdomgtk-4.1</userinput></screen> 220 225 221 </sect2> 226 222
Note:
See TracChangeset
for help on using the changeset viewer.