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) | |
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 245791a71c45a..22fd532ebc8d2 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 { |