From 2f30e758126caee8d4caaea3e6456d256cc47188 Mon Sep 17 00:00:00 2001
From: Marcel Holtmann <marcel@holtmann.org>
Date: Tue, 24 Mar 2009 17:29:00 +0100
Subject: [PATCH] Mention the different gtk-doc package name for Debian

---
 HACKING | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/HACKING b/HACKING
index baf7ccd..c14b214 100644
--- a/HACKING
+++ b/HACKING
@@ -126,7 +126,10 @@ To make the gtk-doc process work, the gtk-doc tools need to be installed.
 Every distribution should provide a package for this, but the naming of the
 package might be different:
 
-  Ubuntu/Debian
+  Debian
+    # apt-get install gtk-doc-tools
+
+  Ubuntu
     # apt-get install gtk-doc-utils
 
   Fedora
-- 
2.7.4