diff --git a/docs/devinfo.html b/docs/devinfo.html
index 8ebf80f40e8..70141ae6922 100644
--- a/docs/devinfo.html
+++ b/docs/devinfo.html
@@ -703,6 +703,7 @@ To add a new GL extension to Mesa you have to do at least the following.
    tests are run using 'make check'
 </li>
 </ul>
+</p>