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 Jones <rjones@redhat.com>
Mon, 15 Nov 2010 22:20:51 +0000 (22:20 +0000)
generator/generator_actions.ml

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