From 05c570c3fcd7732d28a370c4e5cb922975056338 Mon Sep 17 00:00:00 2001
From: "W. Trevor King" <wking@tremily.us>
Date: Mon, 27 Oct 2014 21:03:37 -0700
Subject: [PATCH] docs/working-copy: Replace 'del index[path]' with
 index.remove(path)

Catch up with b12a5960 (Remove "del index[xxx]" from the API,
2013-05-02).
---
 docs/working-copy.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/working-copy.rst b/docs/working-copy.rst
index 77930a4..5e93be5 100644
--- a/docs/working-copy.rst
+++ b/docs/working-copy.rst
@@ -19,7 +19,7 @@ Iterate over all entries of the index::
 Index write::
 
     >>> index.add('path/to/file')          # git add
-    >>> del index['path/to/file']          # git rm
+    >>> index.remove('path/to/file')       # git rm
     >>> index.write()                      # don't forget to save the changes
 
 Custom entries::