diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2009-09-30 06:16:47 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2009-09-30 06:16:47 +0000 |
commit | 6936d8fbecab9e15e9ec3746a68159120ef7a638 (patch) | |
tree | dd379be844817b92698062a3064fc14966ef9377 /pkgs/desktops | |
parent | e2fd504dff7f47b130142aed66bff2d676f169be (diff) | |
download | nixlib-6936d8fbecab9e15e9ec3746a68159120ef7a638.tar nixlib-6936d8fbecab9e15e9ec3746a68159120ef7a638.tar.gz nixlib-6936d8fbecab9e15e9ec3746a68159120ef7a638.tar.bz2 nixlib-6936d8fbecab9e15e9ec3746a68159120ef7a638.tar.lz nixlib-6936d8fbecab9e15e9ec3746a68159120ef7a638.tar.xz nixlib-6936d8fbecab9e15e9ec3746a68159120ef7a638.tar.zst nixlib-6936d8fbecab9e15e9ec3746a68159120ef7a638.zip |
Allow both gtk_doc and gtkdoc names for now
svn path=/nixpkgs/trunk/; revision=17524
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome-2.28/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-2.28/default.nix b/pkgs/desktops/gnome-2.28/default.nix index 245791a71c45..22fd532ebc8d 100644 --- a/pkgs/desktops/gnome-2.28/default.nix +++ b/pkgs/desktops/gnome-2.28/default.nix @@ -108,6 +108,9 @@ rec { inherit (pkgs) docbook_xml_dtd_43 docbook_xsl; inherit gnome_doc_utils; }; + + # What name should we use?? + gtkdoc = gtk_doc; # Freedesktop library startup_notification = import ./platform/startup-notification { |