diff options
| -rw-r--r-- | doc/manual/nix-push.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/manual/nix-push.xml b/doc/manual/nix-push.xml index 0b2a368e9f02..d58350e2d911 100644 --- a/doc/manual/nix-push.xml +++ b/doc/manual/nix-push.xml @@ -82,7 +82,9 @@ machines using the <command>nix-pull</command> command.</para> </para> -<para>TODO: <option>--copy</option></para> +<!-- +<para>TODO: <option>- -copy</option></para> +--> </refsection> |