docs: Debian and Ubuntu are now separate distros.
authorRichard Jones <rjones@redhat.com>
Mon, 15 Nov 2010 22:20:51 +0000 (22:20 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 18 Nov 2010 11:37:23 +0000 (11:37 +0000)
(cherry picked from commit 47af6aaab8f2dde736951b4e549c2638d942dae5)

generator/generator_actions.ml

index e7dd42b..d34e926 100644 (file)
@@ -785,7 +785,7 @@ Arch Linux.
 
 =item \"debian\"
 
-Debian or a Debian-derived distro such as Ubuntu.
+Debian.
 
 =item \"fedora\"