diff --git a/docs/devinfo.html b/docs/devinfo.html
index cce14d7..1f54a92 100644
--- a/docs/devinfo.html
+++ b/docs/devinfo.html
@@ -135,8 +135,8 @@
 </p>
 
 <p>
-Edit configs/default and change the MESA_MAJOR, MESA_MINOR and MESA_TINY
-version numbers.
+Edit the MESA_MAJOR, MESA_MINOR and MESA_TINY version numbers in
+configs/default and configure.ac.
 </p>
 
 <p>