docs: Debian and Ubuntu are now separate distros.

diff --git a/generator/generator_actions.ml b/generator/generator_actions.ml
index c5bd44b..d044fa9 100644 (file)
--- 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\"