diff --git a/INSTALL b/INSTALL
index 3d362e05cf..833e3ba3af 100644
--- a/INSTALL
+++ b/INSTALL
@@ -58,7 +58,8 @@ A  Configuring
          ppc_darwin_70, ppc_darwin_80, ppc_darwin_90
       ppc_linux26
       ppc_nbsd16, ppc_nbsd20
-      rs_aix42, rs_aix51, rs_aix52, rs_aix53, rs_aix61
+      rs_aix42, rs_aix51, rs_aix52, rs_aix53, rs_aix61, rs_aix71,
+         rs_aix72
       s390_linux26
       s390x_linux26
       sgi_62, sgi_63, sgi_64, sgi_65 (file server not tested)
@@ -580,4 +581,4 @@ J  Creating 'configure'
 
    It is possible to create the configure script on one system to be used on
    another. Ensure that the files created by 'regen.sh' are copied to the
-   target system.
\ No newline at end of file
+   target system.