From 4940b7cf528585ad896b13eea7f369dd55bc992e Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Mon, 15 Nov 2010 22:20:51 +0000 Subject: [PATCH] docs: Debian and Ubuntu are now separate distros. (cherry picked from commit 47af6aaab8f2dde736951b4e549c2638d942dae5) --- 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 e7dd42b..d34e926 100644 --- a/generator/generator_actions.ml +++ b/generator/generator_actions.ml @@ -785,7 +785,7 @@ Arch Linux. =item \"debian\" -Debian or a Debian-derived distro such as Ubuntu. +Debian. =item \"fedora\" -- 1.8.3.1