webkitgtk: Clarify -DENABLE_DOCUMENTATION and manually doc installation

This commit is contained in:
Xi Ruoyao 2023-02-12 23:36:37 +08:00
parent d7f8f6dc35
commit b5b672a99a
No known key found for this signature in database
GPG Key ID: ACAAD20E19E710E3

View File

@ -209,9 +209,17 @@ ninja</userinput></screen>
Now, as the <systemitem class="username">root</systemitem> user:
</para>
<screen role="root"><userinput>ninja install &amp;&amp;
<screen role="root"><userinput>ninja install</userinput></screen>
install -vdm755 /usr/share/gtk-doc/html/{jsc-glib,webkit2gtk{,-web-extension}}-4.1 &amp;&amp;
<para>
As the <option>-DENABLE_DOCUMENTATION=OFF</option> option is used,
the documentation is not rebuilt nor installed now. If you need the
documentation, you can either install <xref linkend='gi-docgen'/>
and remove this option from the <command>cmake</command> command,
or install the pre-built documentation instead:
</para>
<screen role='root'><userinput>install -vdm755 /usr/share/gtk-doc/html/{jsc-glib,webkit2gtk{,-web-extension}}-4.1 &amp;&amp;
install -vm644 ../Documentation/jsc-glib-4.1/* \
/usr/share/gtk-doc/html/jsc-glib-4.1 &amp;&amp;
install -vm644 ../Documentation/webkit2gtk-4.1/* \