diff --git a/options.xhtml b/options.xhtml
index f3a29137..c5600d7b 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -52309,6 +52309,30 @@ path</p>
 </td></tr>
 </table>
 </dd>
+<dt>
+ <span class="term">
+ <a id="opt-programs.zsh.zproof.enable"></a><a class="term" href="options.xhtml#opt-programs.zsh.zproof.enable"><code class="option">programs.zsh.zproof.enable</code>
+  </a>
+ </span>
+</dt>
+<dd>
+<p>Enable zproof in your zshrc.</p>
+
+<p><span class="emphasis"><em>Type:</em></span>
+unspecified value</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.zsh-abbr.enable"></a><a class="term" href="options.xhtml#opt-programs.zsh.zsh-abbr.enable"><code class="option">programs.zsh.zsh-abbr.enable</code>