diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-06T09·59+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-06T09·59+0000 |
commit | e1cc84259ce38f0639f6304f04e1747c00fd43cb (patch) | |
tree | 34d5b3a695eedd84f02c1134861efb92d2419e1b | |
parent | b3fc0160618d89bf63ce87ccad27fc68360c9731 (diff) |
* Too lazy to document nix-push --copy.
-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> |