From 6936d8fbecab9e15e9ec3746a68159120ef7a638 Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Wed, 30 Sep 2009 06:16:47 +0000
Subject: [PATCH] Allow both gtk_doc and gtkdoc names for now

svn path=/nixpkgs/trunk/; revision=17524
---
 pkgs/desktops/gnome-2.28/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/desktops/gnome-2.28/default.nix b/pkgs/desktops/gnome-2.28/default.nix
index 245791a71c4..22fd532ebc8 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 {