[gnome-user-docs] About instead of Details

[Petr Kovář <pmkovar src gnome org>]

commit c8aeb1fe5e2e3ae8ff020be5e6a9e0e88a776805
Author: Gunnar Hjalmarsson <gunnarhj ubuntu com>
Date:   Sat Mar 17 23:32:08 2018 +0100

    About instead of Details
    
    https://bugzilla.gnome.org/show_bug.cgi?id=794435

 gnome-help/C/gnome-version.page |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/gnome-help/C/gnome-version.page b/gnome-help/C/gnome-version.page
index ff2e8ea..adab46c 100644
--- a/gnome-help/C/gnome-version.page
+++ b/gnome-help/C/gnome-version.page
@@ -19,15 +19,15 @@
   <title>Determine which version of GNOME is running</title>
 
   <p>You can determine the version of GNOME that is running on your system by
-  going to the <gui>Details</gui> panel in <gui>Settings</gui>.</p>
+  going to the <gui>Details/About</gui> panel in <gui>Settings</gui>.</p>
 
   <steps>
     <item>
       <p>Open the <gui xref="shell-introduction#activities">Activities</gui> overview and
-      start typing <gui>Details</gui>.</p>
+      start typing <gui>About</gui>.</p>
     </item>
     <item>
-      <p>Click on <gui>Details</gui> to open the panel.</p>
+      <p>Click on <gui>About</gui> to open the panel.</p>
       <p>A window appears showing information about your system, including your
       distribution’s name and the GNOME version.</p>
     </item>