diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-06 09:59:02 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-06 09:59:02 +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 0b2a368e9..d58350e2d 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> |