diff --git a/options.html b/options.html
index 6c43a3b81..a3246e8d0 100644
--- a/options.html
+++ b/options.html
@@ -11145,6 +11145,12 @@ boolean</p><p><span class="emphasis"><em>Default:</em></span>
 boolean</p><p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">false</code></p><p><span class="emphasis"><em>Declared by:</em></span></p><table border="0" summary="Simple list" class="simplelist"><tr><td><code class="filename"><a class="filename" href="https://github.com/nix-community/home-manager/blob/master/modules/programs/zsh.nix" target="_top">
 &lt;home-manager/modules/programs/zsh.nix&gt;
+</a></code></td></tr></table></dd><dt><span class="term"><a id="opt-programs.zsh.history.ignoreAllDups"></a><a class="term" href="options.html#opt-programs.zsh.history.ignoreAllDups"><code class="option">programs.zsh.history.ignoreAllDups</code></a></span></dt><dd><p>If a new command line being added to the history list
+duplicates an older one, the older command is removed
+from the list (even if it is not the previous event).</p><p><span class="emphasis"><em>Type:</em></span>
+boolean</p><p><span class="emphasis"><em>Default:</em></span>
+<code class="literal">false</code></p><p><span class="emphasis"><em>Declared by:</em></span></p><table border="0" summary="Simple list" class="simplelist"><tr><td><code class="filename"><a class="filename" href="https://github.com/nix-community/home-manager/blob/master/modules/programs/zsh.nix" target="_top">
+&lt;home-manager/modules/programs/zsh.nix&gt;
 </a></code></td></tr></table></dd><dt><span class="term"><a id="opt-programs.zsh.history.ignoreDups"></a><a class="term" href="options.html#opt-programs.zsh.history.ignoreDups"><code class="option">programs.zsh.history.ignoreDups</code></a></span></dt><dd><p>Do not enter command lines into the history list
 if they are duplicates of the previous event.</p><p><span class="emphasis"><em>Type:</em></span>
 boolean</p><p><span class="emphasis"><em>Default:</em></span>