diff --git a/docs/devinfo.rst b/docs/devinfo.rst
index 566eceb0444..4394a05f827 100644
--- a/docs/devinfo.rst
+++ b/docs/devinfo.rst
@@ -23,7 +23,7 @@ To add a new GL extension to Mesa you have to do at least the following.
    functions and enums to the ``gl_API.xml`` file. Then, a bunch of
    source files must be regenerated by executing the corresponding
    Python scripts.
--  Add a new entry to the ``gl_extensions`` struct in ``mtypes.h`` if
+-  Add a new entry to the ``gl_extensions`` struct in ``consts_exts.h`` if
    the extension requires driver capabilities not already exposed by
    another extension.
 -  Add a new entry to the ``src/mesa/main/extensions_table.h`` file.