diff --git a/docs/devinfo.rst b/docs/developing-extensions.rst
similarity index 92%
rename from docs/devinfo.rst
rename to docs/developing-extensions.rst
index 34921c10ca4..a5cfc88de9b 100644
--- a/docs/devinfo.rst
+++ b/docs/developing-extensions.rst
@@ -1,8 +1,8 @@
-Development Notes
-=================
+Developing Extensions
+=====================
 
-Adding Extensions
------------------
+Implementing OpenGL[ES] Extensions
+----------------------------------
 
 To add a new GL extension to Mesa you have to do at least the following.
 
@@ -17,7 +17,7 @@ To add a new GL extension to Mesa you have to do at least the following.
            /* prototype the new functions */
            /* TYPEDEFS for the new functions */
            #endif
-         
+
 
 -  In the ``src/mesa/glapi/glapi/gen/`` directory, add the new extension
    functions and enums to the ``gl_API.xml`` file. Then, a bunch of
diff --git a/docs/index.rst b/docs/index.rst
index a1bd8a7d9ae..4448b7cbe91 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -105,9 +105,9 @@ Linux, FreeBSD, and other operating systems.
    sourcetree
    utilities
    helpwanted
-   devinfo
    codingstyle
    submittingpatches
+   developing-extensions
    rust
    releasing
    release-calendar