diff --git a/v3.2-devel.html b/v3.2-devel.html
index ba99574c..c39e8ed1 100644
--- a/v3.2-devel.html
+++ b/v3.2-devel.html
@@ -932,6 +932,12 @@ and write their own collections under the path <em>/USERNAME/</em>.</p>
 <h5>file <a class="headerlink" href="#file">&para;</a></h5>
 <p>File for the rights backend <code>from_file</code>. See the <a href="#authentication-and-rights">Rights</a> section.</p>
 </section>
+<section class="level5" id="permit_delete_collection">
+<h5>permit_delete_collection <a class="headerlink" href="#permit_delete_collection">&para;</a></h5>
+<p>(New since 3.1.9)</p>
+<p>Global control of permission to delete complete collection (default:
+True)</p>
+</section>
 </section>
 <section class="level4" id="storage-1">
 <h4>storage <a class="headerlink" href="#storage-1">&para;</a></h4>