diff --git a/docs/devinfo.html b/docs/devinfo.html
index 0f1d5ac612b..e1f290a6fa1 100644
--- a/docs/devinfo.html
+++ b/docs/devinfo.html
@@ -77,9 +77,6 @@ To add a new GL extension to Mesa you have to do at least the following.
 </li>
 </ul>
 
-
-
-
 </div>
 </body>
 </html>