[gnome-shell-extensions: 2/2] Remove dock and gajim extensions from the repository

[Giovanni Campagna <gcampagna src gnome org>]

commit 987409b7427968e94a6f837dba04abb58fd570eb
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Tue Oct 16 16:22:45 2012 +0200

    Remove dock and gajim extensions from the repository
    
    They're buggy, unmaintained, and nobody stepped up to fix them.
    See full rationale at
    https://mail.gnome.org/archives/gnome-shell-list/2012-August/msg00132.html
    
    Anyone who's unhappy with this decision, please contact me and we
    can arrange co-maintainership or ownership transfer.

 configure.ac                                       |    6 +-
 extensions/dock/Makefile.am                        |    5 -
 extensions/dock/extension.js                       |  991 --------------------
 extensions/dock/metadata.json.in                   |   11 -
 .../org.gnome.shell.extensions.dock.gschema.xml.in |   43 -
 extensions/dock/stylesheet.css                     |   10 -
 extensions/gajim/Makefile.am                       |    3 -
 extensions/gajim/extension.js                      |  339 -------
 extensions/gajim/metadata.json.in                  |   10 -
 extensions/gajim/stylesheet.css                    |    1 -
 po/POTFILES.in                                     |    3 -
 11 files changed, 2 insertions(+), 1420 deletions(-)
---
diff --git a/configure.ac b/configure.ac
index 441faca..c3dd06a 100644
--- a/configure.ac
+++ b/configure.ac
@@ -30,7 +30,7 @@ dnl keep this in alphabetic order
 dnl by default, install only extensions that do not change completely the shell experience,
 dnl that don't require GSettings and that don't require external packages for typelibs
 dnl (so basically only menus, status icons, search providers, overview tabs, message tray sources, etc.)
-DEFAULT_EXTENSIONS="alternative-status-menu apps-menu dock drive-menu gajim places-menu windowsNavigator workspace-indicator"
+DEFAULT_EXTENSIONS="alternative-status-menu apps-menu drive-menu places-menu windowsNavigator workspace-indicator"
 ALL_EXTENSIONS="$DEFAULT_EXTENSIONS alternate-tab auto-move-windows example native-window-placement systemMonitor user-theme xrandr-indicator"
 AC_SUBST(ALL_EXTENSIONS, [$ALL_EXTENSIONS])
 AC_ARG_ENABLE([extensions],
@@ -58,7 +58,7 @@ for e in $enable_extensions; do
 					[AC_MSG_WARN([gnome-desktop-3.0 not found, disabling xrandr-indicator])])
 			;;
 dnl		keep this in alphabetic order
-		alternate-tab|alternative-status-menu|apps-menu|auto-move-windows|dock|drive-menu|example|gajim|native-window-placement|places-menu|user-theme|windowsNavigator|workspace-indicator)
+		alternate-tab|alternative-status-menu|apps-menu|auto-move-windows|drive-menu|example|native-window-placement|places-menu|user-theme|windowsNavigator|workspace-indicator)
 			ENABLED_EXTENSIONS="$ENABLED_EXTENSIONS $e"
 			;;
 		*)
@@ -74,10 +74,8 @@ AC_CONFIG_FILES([
   extensions/alternative-status-menu/Makefile
   extensions/apps-menu/Makefile
   extensions/auto-move-windows/Makefile
-  extensions/dock/Makefile
   extensions/drive-menu/Makefile
   extensions/example/Makefile
-  extensions/gajim/Makefile
   extensions/native-window-placement/Makefile
   extensions/places-menu/Makefile
   extensions/systemMonitor/Makefile
diff --git a/po/POTFILES.in b/po/POTFILES.in
index 75ffc3f..46ee700 100644
--- a/po/POTFILES.in
+++ b/po/POTFILES.in
@@ -7,13 +7,10 @@ extensions/apps-menu/extension.js
 extensions/auto-move-windows/extension.js
 extensions/auto-move-windows/org.gnome.shell.extensions.auto-move-windows.gschema.xml.in
 extensions/auto-move-windows/prefs.js
-extensions/dock/extension.js
-extensions/dock/org.gnome.shell.extensions.dock.gschema.xml.in
 extensions/drive-menu/extension.js
 extensions/example/extension.js
 extensions/example/org.gnome.shell.extensions.example.gschema.xml.in
 extensions/example/prefs.js
-extensions/gajim/extension.js
 extensions/native-window-placement/extension.js
 extensions/native-window-placement/org.gnome.shell.extensions.native-window-placement.gschema.xml.in
 extensions/places-menu/extension.js