diff options
author | Uli Baum <xeji@cat3.de> | 2018-09-17 01:33:20 +0200 |
---|---|---|
committer | Uli Baum <xeji@cat3.de> | 2018-09-17 01:33:20 +0200 |
commit | d6ecbe1410c847f76af21d4821dde1f751890dd0 (patch) | |
tree | 86630da379963ff5ee55b9fd4bdb1c611a6eff45 /pkgs/development/tools/documentation | |
parent | 7c1b85cf6de1dc431e5736bff8adf01224e6abe5 (diff) |
gtk-doc: don't build with dblatex by default
make it optional: withDblatex ? false
This removes the dependency of gtk-doc on texlive.
Diffstat (limited to 'pkgs/development/tools/documentation')
-rw-r--r-- | pkgs/development/tools/documentation/gtk-doc/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/development/tools/documentation/gtk-doc/default.nix b/pkgs/development/tools/documentation/gtk-doc/default.nix index 8ec6aec9918e..0213eca30d22 100644 --- a/pkgs/development/tools/documentation/gtk-doc/default.nix +++ b/pkgs/development/tools/documentation/gtk-doc/default.nix @@ -1,5 +1,6 @@ { stdenv, fetchurl, autoreconfHook, pkgconfig, perl, python, libxml2Python, libxslt, which -, docbook_xml_dtd_43, docbook_xsl, gnome-doc-utils, dblatex, gettext, itstool +, docbook_xml_dtd_43, docbook_xsl, gnome-doc-utils, gettext, itstool +, withDblatex ? false, dblatex }: stdenv.mkDerivation rec { @@ -20,8 +21,8 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ autoreconfHook ]; buildInputs = [ pkgconfig perl python libxml2Python libxslt docbook_xml_dtd_43 docbook_xsl - gnome-doc-utils dblatex gettext which itstool - ]; + gnome-doc-utils gettext which itstool + ] ++ stdenv.lib.optional withDblatex dblatex; configureFlags = [ "--disable-scrollkeeper" ]; |