diff --git a/doc/versions.inc b/doc/versions.inc
index ae0e0afa94..00df70da74 100644
--- a/doc/versions.inc
+++ b/doc/versions.inc
@@ -313,8 +313,8 @@ $mac = array(
         $m437s,
         $m443c,
         $m419,
-        $m472,
-        $m472c
+        $m511,
+        $m511c
     )
 );
 $linux = array(