docs: dri2proto, libdrm tweaks
diff --git a/docs/install.html b/docs/install.html
index 2d72506..d740477 100644
--- a/docs/install.html
+++ b/docs/install.html
@@ -38,7 +38,7 @@
</p>
<ul>
-<li><a href="http://xorg.freedesktop.org/releases/individual/proto/">driproto2</a> version 1.99.3 or later
+<li><a href="http://xorg.freedesktop.org/releases/individual/proto/">dri2proto</a> version 1.99.3 or later
<li><a href="http://dri.freedesktop.org/libdrm/" target="_parent">DRM</a>
version 2.4.3 or later
<li>Xorg server version 1.4 or 1.5.