diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 7b5ffced9115bf45135263945b35398643b2b5c2..f228a394b60b1973e10c51ef8629c9c0a72e3113 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,5 +1,9 @@
 2017-05-16  Jonathan Wakely  <jwakely@redhat.com>
 
+	* doc/xml/manual/appendix_contributing.xml: Link to test docs and
+	note higher DejaGnu version requirement.
+	* doc/html/*: Regenerate.
+
 	* doc/xml/manual/appendix_contributing.xml: Link to the list of bad
 	identifiers.
 	* doc/html/*: Regenerate.
diff --git a/libstdc++-v3/doc/html/manual/source_organization.html b/libstdc++-v3/doc/html/manual/source_organization.html
index 7ec9cadf19cec3fb3988953ef3566607abd83f04..6b8cc450dde42c26b87d33d95c4caa1adc4b651e 100644
--- a/libstdc++-v3/doc/html/manual/source_organization.html
+++ b/libstdc++-v3/doc/html/manual/source_organization.html
@@ -70,7 +70,9 @@ It has subdirectories:
     library.  Support for "make check" and "make check-install" is
     complete, and runs through all the subdirectories here when this
     command is issued from the build directory.  Please note that
-    "make check" requires DejaGNU 1.4 or later to be installed.
+    "make check" requires DejaGnu 1.4 or later to be installed,
+    or for extra <a class="link" href="test.html#test.run.permutations" title="Permutations">permutations</a>
+    DejaGnu 1.5.3 or later.
     </dd></dl></div><p>
 Other subdirectories contain variant versions of certain files
 that are meant to be copied or linked by the configure script.
diff --git a/libstdc++-v3/doc/xml/manual/appendix_contributing.xml b/libstdc++-v3/doc/xml/manual/appendix_contributing.xml
index f5b759ac5181cc92b79670273de3d0c5b8b04581..41335475f3b17aaeaca39ed2a64b74661f5ea12d 100644
--- a/libstdc++-v3/doc/xml/manual/appendix_contributing.xml
+++ b/libstdc++-v3/doc/xml/manual/appendix_contributing.xml
@@ -358,7 +358,9 @@ It has subdirectories:
     library.  Support for "make check" and "make check-install" is
     complete, and runs through all the subdirectories here when this
     command is issued from the build directory.  Please note that
-    "make check" requires DejaGNU 1.4 or later to be installed.
+    "make check" requires DejaGnu 1.4 or later to be installed,
+    or for extra <link linkend="test.run.permutations">permutations</link>
+    DejaGnu 1.5.3 or later.
     </listitem>
   </varlistentry>
 </variablelist>