diff options
Diffstat (limited to 'home-manager/doc/man-home-manager.xml')
-rw-r--r-- | home-manager/doc/man-home-manager.xml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/home-manager/doc/man-home-manager.xml b/home-manager/doc/man-home-manager.xml index a0f55d1106a..117bc494687 100644 --- a/home-manager/doc/man-home-manager.xml +++ b/home-manager/doc/man-home-manager.xml @@ -127,6 +127,10 @@ </arg> <arg> + --(no-)substitute + </arg> + + <arg> <group choice="req"> <arg choice="plain"> -v @@ -448,6 +452,18 @@ </varlistentry> <varlistentry> <term> + <option>--(no-)substitute</option> + </term> + <listitem> + <para> + Passed on to <citerefentry> + <refentrytitle>nix-build</refentrytitle> + <manvolnum>1</manvolnum> </citerefentry>. + </para> + </listitem> + </varlistentry> + <varlistentry> + <term> <option>-v</option> </term> <term> |