edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-17 23:24:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

docs: Remove obsolete ShellRecorder include

Browse source 
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
This commit is contained in:
Florian Müllner 2020-09-25 18:24:09 +02:00
parent 494e628c38
commit 84cff89205
1 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
docs/reference/shell/shell-docs.sgml
View file

@ -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"/>