[gnome-user-docs] Documents heading removed from files.page

[Michael Hill <mdhill src gnome org>]

commit a56bf84fe7b9370a8fadd9c141e649618a9fa5e2
Author: Michael Hill <mdhill gnome org>
Date:   Sun Mar 2 20:35:44 2014 -0500

    Documents heading removed from files.page

 gnome-help/C/files.page |   12 +++++-------
 1 files changed, 5 insertions(+), 7 deletions(-)
---
diff --git a/gnome-help/C/files.page b/gnome-help/C/files.page
index 3e64599..096f587 100644
--- a/gnome-help/C/files.page
+++ b/gnome-help/C/files.page
@@ -9,11 +9,16 @@
 
     <revision pkgversion="3.4.0" date="2012-02-19" status="outdated"/>
     <revision pkgversion="3.10" date="2013-11-07" status="review"/>
+    <revision pkgversion="3.12" date="2014-03-02" status="review"/>
 
     <credit type="author">
       <name>Shaun McCance</name>
       <email its:translate="no">shaunm gnome org</email>
     </credit>
+    <credit type="editor">
+      <name>Michael Hill</name>
+      <email its:translate="no">mdhillca gmail com</email>
+    </credit>
 
     <title type="link" role="trail">Files</title>
 
@@ -41,13 +46,6 @@
   <title>More topics</title>
 </links>
 
-  <!-- Documents is a different app, might make more sense towards the bottom
-       or as a seealso -->
-<section id="documents">
-  <title>Documents</title>
-  <links type="topic"/>
-</section>
-
 <section id="removable">
   <title>Removable drives and external disks</title>
   <links type="topic" style="2column"/>