[gnome-robots] Update documentor credits

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 9d52b9153593d31f34f87b8455839f0cabb528d7
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sat Jan 25 21:27:08 2014 -0600

    Update documentor credits
    
    https://bugzilla.gnome.org/show_bug.cgi?id=665833

 src/menu.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/menu.c b/src/menu.c
index 8ee8115..290651f 100644
--- a/src/menu.c
+++ b/src/menu.c
@@ -256,7 +256,7 @@ about_cb (GtkAction * action, gpointer data)
   const gchar *artists[] = { "Kirstie Opstad - <K Opstad ed ac uk>", NULL };
 
   const gchar *documenters[] =
-    { "Patanjali Somayaji", "Mark Rae <m rae inpharmatica co uk>", NULL };
+    { "Aruna Sankaranarayanan", NULL };
 
   gtk_show_about_dialog (GTK_WINDOW (app),
                         "name", _("Robots"),