diff --git a/docs/building.html b/docs/building.html
index 10da4fa426..bbfaad4c52 100644
--- a/docs/building.html
+++ b/docs/building.html
@@ -89,7 +89,7 @@ <h2>Compiling on Linux</h2>
 To install only the command line tools, libraries, and headers invoke make like this:
 
 <pre>
-make HAVE_X11=no HAVE_GLUT=no prefix=/usr/local install
+make --ignore-errors HAVE_X11=no HAVE_GLUT=no prefix=/usr/local install
 </pre>
 
 </article>