From e1cc84259ce38f0639f6304f04e1747c00fd43cb Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 6 Oct 2006 09:59:02 +0000
Subject: [PATCH] * Too lazy to document nix-push --copy.

---
 doc/manual/nix-push.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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>