From 47af6aaab8f2dde736951b4e549c2638d942dae5 Mon Sep 17 00:00:00 2001
From: Richard Jones <rjones@redhat.com>
Date: Mon, 15 Nov 2010 22:20:51 +0000
Subject: [PATCH] docs: Debian and Ubuntu are now separate distros.

---
 generator/generator_actions.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generator/generator_actions.ml b/generator/generator_actions.ml
index c5bd44b..d044fa9 100644
--- a/generator/generator_actions.ml
+++ b/generator/generator_actions.ml
@@ -789,7 +789,7 @@ Arch Linux.
 
 =item \"debian\"
 
-Debian or a Debian-derived distro such as Ubuntu.
+Debian.
 
 =item \"fedora\"
 
-- 
1.8.3.1