Version bump, drop old

(Portage version: 2.1.12.2/cvs/Linux x86_64, signed Manifest commit with key A188FBD4)

2 files changed, 23 insertions, 11 deletions

diff --git a/gnome-extra/gnome-shell-extensions/ChangeLog b/gnome-extra/gnome-shell-extensions/ChangeLog
index 17519d2317a6..1454530615eb 100644
--- a/gnome-extra/gnome-shell-extensions/ChangeLog
+++ b/gnome-extra/gnome-shell-extensions/ChangeLog
@@ -1,6 +1,12 @@
 # ChangeLog for gnome-extra/gnome-shell-extensions
 # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/gnome-extra/gnome-shell-extensions/ChangeLog,v 1.10 2013/05/15 07:55:55 pacho Exp $
+# $Header: /var/cvsroot/gentoo-x86/gnome-extra/gnome-shell-extensions/ChangeLog,v 1.11 2013/06/09 19:31:18 pacho Exp $
+
+*gnome-shell-extensions-3.8.3 (09 Jun 2013)
+
+  09 Jun 2013; Pacho Ramos <pacho@gentoo.org>
+  +gnome-shell-extensions-3.8.3.ebuild, -gnome-shell-extensions-3.8.1.ebuild:
+  Version bump, drop old
 
 *gnome-shell-extensions-3.8.2 (15 May 2013)
 
diff --git a/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.1.ebuild b/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.3.ebuild
index c1df9d1fee0d..0dabd29b8825 100644
--- a/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.1.ebuild
+++ b/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.3.ebuild
@@ -1,11 +1,11 @@
 # Copyright 1999-2013 Gentoo Foundation
 # Distributed under the terms of the GNU General Public License v2
-# $Header: /var/cvsroot/gentoo-x86/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.1.ebuild,v 1.1 2013/04/20 10:01:30 pacho Exp $
+# $Header: /var/cvsroot/gentoo-x86/gnome-extra/gnome-shell-extensions/gnome-shell-extensions-3.8.3.ebuild,v 1.1 2013/06/09 19:31:18 pacho Exp $
 
 EAPI="5"
 GCONF_DEBUG="no"
 
-inherit eutils gnome2
+inherit eutils gnome2 readme.gentoo
 
 DESCRIPTION="JavaScript extensions for GNOME Shell"
 HOMEPAGE="http://live.gnome.org/GnomeShell/Extensions"
@@ -41,6 +41,16 @@ DEPEND="${COMMON_DEPEND}
 "
 # eautoreconf needs gnome-base/gnome-common
 
+DISABLE_AUTOFORMATTING="yes"
+DOC_CONTENTS="Installed extensions installed are initially disabled by default.
+To change the system default and enable some extensions, you can use
+# eselect gnome-shell-extensions
+
+Alternatively, to enable/disable extensions on a per-user basis,
+you can use the https://extensions.gnome.org/ web interface, the
+gnome-extra/gnome-tweak-tool GUI, or modify the org.gnome.shell
+enabled-extensions gsettings key from the command line or a script."
+
 src_configure() {
 	gnome2_src_configure --enable-extensions=all
 }
@@ -55,6 +65,8 @@ src_install() {
 	else
 		rm -r "${ED}usr/share/gnome-shell/extensions/${example}" || die
 	fi
+
+	readme.gentoo_create_doc
 }
 
 pkg_postinst() {
@@ -63,12 +75,6 @@ pkg_postinst() {
 	ebegin "Updating list of installed extensions"
 	eselect gnome-shell-extensions update
 	eend $?
-	elog
-	elog "Installed extensions installed are initially disabled by default."
-	elog "To change the system default and enable some extensions, you can use"
-	elog "# eselect gnome-shell-extensions"
-	elog "Alternatively, to enable/disable extensions on a per-user basis,"
-	elog "you can use the https://extensions.gnome.org/ web interface, the"
-	elog "gnome-extra/gnome-tweak-tool GUI, or modify the org.gnome.shell"
-	elog "enabled-extensions gsettings key from the command line or a script."
+
+	readme.gentoo_print_elog
 }