gnome3.gnome-shell: build docs

This commit is contained in:
Jan Tojnar 2020-07-13 09:51:47 +02:00
parent 0937ea6dab
commit b491020081
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4
1 changed files with 12 additions and 0 deletions

View File

@ -12,6 +12,7 @@
, python3 , python3
, polkit , polkit
, networkmanager , networkmanager
, gtk-doc
, docbook-xsl-nons , docbook-xsl-nons
, at-spi2-core , at-spi2-core
, libstartup_notification , libstartup_notification
@ -23,7 +24,9 @@
, librsvg , librsvg
, geoclue2 , geoclue2
, perl , perl
, docbook_xml_dtd_412
, docbook_xml_dtd_42 , docbook_xml_dtd_42
, docbook_xml_dtd_43
, desktop-file-utils , desktop-file-utils
, libpulseaudio , libpulseaudio
, libical , libical
@ -66,6 +69,8 @@ stdenv.mkDerivation rec {
pname = "gnome-shell"; pname = "gnome-shell";
version = "3.36.4"; version = "3.36.4";
outputs = [ "out" "devdoc" ];
src = fetchurl { src = fetchurl {
url = "mirror://gnome/sources/gnome-shell/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz"; url = "mirror://gnome/sources/gnome-shell/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
sha256 = "1nyibrr98ijn65z9ki0k7xzcwcliwy2jqssz0l0jalpbkhnr751d"; sha256 = "1nyibrr98ijn65z9ki0k7xzcwcliwy2jqssz0l0jalpbkhnr751d";
@ -108,7 +113,10 @@ stdenv.mkDerivation rec {
pkg-config pkg-config
gettext gettext
docbook-xsl-nons docbook-xsl-nons
docbook_xml_dtd_412
docbook_xml_dtd_42 docbook_xml_dtd_42
docbook_xml_dtd_43
gtk-doc
perl perl
wrapGAppsHook wrapGAppsHook
sassc sassc
@ -166,6 +174,10 @@ stdenv.mkDerivation rec {
json-glib json-glib
]; ];
mesonFlags = [
"-Dgtk_doc=true"
];
postPatch = '' postPatch = ''
patchShebangs src/data-to-c.pl patchShebangs src/data-to-c.pl
chmod +x meson/postinstall.py chmod +x meson/postinstall.py