[gnome-shell] docs: Remove obsolete ShellRecorder include

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit 84cff8920509f99be47c017bd8bdf8e45ea90535
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Sep 25 18:24:09 2020 +0200

    docs: Remove obsolete ShellRecorder include
    
    It joined the invisible choir, so trying to build with gtk-docs
    enabled is currently broken (mea culpa for not having caught that
    during distcheck).
    
    https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1448

 docs/reference/shell/shell-docs.sgml | 4 ----
 1 file changed, 4 deletions(-)
---
diff --git a/docs/reference/shell/shell-docs.sgml b/docs/reference/shell/shell-docs.sgml
index 2ca60903c5..ebfd2213c8 100644
--- a/docs/reference/shell/shell-docs.sgml
+++ b/docs/reference/shell/shell-docs.sgml
@@ -36,10 +36,6 @@
     <xi:include href="xml/shell-tray-icon.xml"/>
     <xi:include href="xml/shell-tray-manager.xml"/>
   </chapter>
-  <chapter>
-    <title>Recorder</title>
-    <xi:include href="xml/shell-recorder.xml"/>
-  </chapter>
   <chapter>
     <title>Integration helpers and utilities</title>
     <xi:include href="doc-gen-org.gnome.Shell.SearchProvider.xml"/>