about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-10-06T09·59+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-10-06T09·59+0000
commite1cc84259ce38f0639f6304f04e1747c00fd43cb (patch)
tree34d5b3a695eedd84f02c1134861efb92d2419e1b
parentb3fc0160618d89bf63ce87ccad27fc68360c9731 (diff)
* Too lazy to document nix-push --copy.
-rw-r--r--doc/manual/nix-push.xml4
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>