[metacity/remove-theme-docs: 15/15] docs: remove theme docs

[Alberts Muktupāvels <muktupavels src gnome org>]

commit fc403da308808532d5cbb59c5378df53fabbb8c4
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date:   Fri Mar 6 04:39:07 2020 +0200

    docs: remove theme docs
    
    Preferred way is to use GTK+ theme for window decorations. Metacity
    themes are still "supported" to allow users use old themes...
    
    Also metacity-theme.dtd has not been updated for Theme Format 3.x,
    remove it as it can not be used to validate new format files.

 README                 |   3 +-
 doc/Makefile.am        |   9 +-
 doc/code-overview.txt  |   1 -
 doc/metacity-theme.dtd | 273 ---------------------------------
 doc/theme-format.txt   | 402 -------------------------------------------------
 rationales.txt         |   1 -
 6 files changed, 8 insertions(+), 681 deletions(-)
---
diff --git a/README b/README
index 9b00692e..4486d3bc 100644
--- a/README
+++ b/README
@@ -98,8 +98,7 @@ METACITY FEATURES
      gsettings set org.gnome.desktop.wm.preferences theme Atlanta
      gsettings set org.gnome.desktop.wm.preferences theme Bright
 
-   See theme-format.txt for docs on the theme format. Use 
-   metacity-theme-viewer to preview themes.
+   Use metacity-theme-viewer to preview themes.
 
  - Change number of workspaces via gsettings:
      gsettings set org.gnome.desktop.wm.preferences num-workspaces 5
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 71801a00..c91621bf 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,6 +1,11 @@
+NULL =
+
 SUBDIRS = man
 
-EXTRA_DIST=theme-format.txt metacity-theme.dtd dialogs.txt code-overview.txt \
-       how-to-get-focus-right.txt
+EXTRA_DIST = \
+       code-overview.txt \
+       dialogs.txt \
+       how-to-get-focus-right.txt \
+       $(NULL)
 
 -include $(top_srcdir)/git.mk
diff --git a/doc/code-overview.txt b/doc/code-overview.txt
index 450f7a82..fb20e2e0 100644
--- a/doc/code-overview.txt
+++ b/doc/code-overview.txt
@@ -147,7 +147,6 @@ Getting started -- where to look
         managers can collaborate correctly
 
     Theme issues: ???
-      doc/theme-format.txt
       theme.c
       theme-parser.c
       (ui.c, core.c, frames.c, frame.c?  I dunno...)
diff --git a/rationales.txt b/rationales.txt
index 600d2d5a..07d2a1ff 100644
--- a/rationales.txt
+++ b/rationales.txt
@@ -59,7 +59,6 @@ Applications opening in wrong workspace:
 Tracking bugs
 ====
 
-          revise theme format: http://bugzilla.gnome.org/show_bug.cgi?id=102547
            session management: http://bugzilla.gnome.org/show_bug.cgi?id=107063
     focus-stealing-prevention: http://bugzilla.gnome.org/show_bug.cgi?id=149028
              other focus bugs: http://bugzilla.gnome.org/show_bug.cgi?id=155450