diff --git a/doc/stdenv.xml b/doc/stdenv.xml
index 4ef89991d2f..f7e7b924f41 100644
--- a/doc/stdenv.xml
+++ b/doc/stdenv.xml
@@ -1662,6 +1662,18 @@ installTargets = "install-bin install-doc";
+
+
+ dontPruneLibtoolFiles
+
+
+
+ If set, libtool .la files associated with shared
+ libraries won't have their dependency_libs field
+ cleared.
+
+
+
forceShare