diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 416f3c2b088b..81cfcfdc6511 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2014-09-15  Markus Trippelsdorf  <markus@trippelsdorf.de>
+
+	* doc/install.texi (Options specification): add 
+	--disable-libsanitizer item.
+
 2014-09-14  James Clarke  <jrtc27@jrtc27.com>
 	    Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
 
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index b1e9eb95d71c..75ac9a698c22 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -1451,6 +1451,10 @@ be built.  This can be useful for debugging, or for compatibility with
 previous Ada build procedures, when it was required to explicitly
 do a @samp{make -C gcc gnatlib_and_tools}.
 
+@item --disable-libsanitizer
+Specify that the run-time libraries for the various sanitizers should
+not be built.
+
 @item --disable-libssp
 Specify that the run-time libraries for stack smashing protection
 should not be built.