diff --git a/options.xhtml b/options.xhtml
index 241be8e2f..c60cce73d 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -71030,6 +71030,37 @@ null or package</p>
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">pkgs.trippy</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/trippy.nix" target="_top">
+&lt;home-manager/modules/programs/trippy.nix&gt;
+</a></code>
+</td></tr>
+</table>
+</dd>
+<dt>
+ <span class="term">
+ <a id="opt-programs.trippy.forceUserConfig"></a><a class="term" href="options.xhtml#opt-programs.trippy.forceUserConfig"><code class="option">programs.trippy.forceUserConfig</code>
+  </a>
+ </span>
+</dt>
+<dd>
+<p>Whatever to force trippy to use user’s config through the -c flag.
+This will prevent certain commands such as ‘sudo’ ignoring
+the configured settings. This will only work if you have
+‘programs.&lt;shell&gt;.enable’ (bash, zsh, fish, …), depending
+on your shell.</p>
+
+<p><span class="emphasis"><em>Type:</em></span>
+boolean</p>
+
+<p><span class="emphasis"><em>Default:</em></span>
+<code class="literal">true</code></p>
+
+<p><span class="emphasis"><em>Example:</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>