diff --git a/docs/devinfo.html b/docs/devinfo.html
index 70141ae6922..f5d23ab6391 100644
--- a/docs/devinfo.html
+++ b/docs/devinfo.html
@@ -686,7 +686,7 @@ To add a new GL extension to Mesa you have to do at least the following.
Add a new entry to the gl_extensions
struct in mtypes.h
extensions.c
file.
+ Add a new entry to the src/mesa/main/extensions_table.h file.