diff --git a/doc/versions.inc b/doc/versions.inc
index f85dff6722..47e3cc6c8d 100644
--- a/doc/versions.inc
+++ b/doc/versions.inc
@@ -5,7 +5,7 @@ function show_linux_info() {
         <p>
         The current release is known to work with these Linux versions:
         <ul>
-        <li> Fedora Core 7 and 8
+        <li> Fedora Core 7, 8, and 9
         <li> Debian 4.1
         <li> Ubuntu 7.10, 8.04, and 8.10
         <li> Mandriva, Sabayon, Mint, Gentoo, other Debian-based distributions