+For other compilers, some alternative Makefiles are provided. These
+Makefiles are generated automatically from the master `Makefile' by
+the Perl script `mkfiles.pl'. Additions and corrections to the
+script are more useful than additions and corrections to the
+alternative Makefiles themselves.
+