[gtksourceview] Release 3.1.3

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 98fccc81d02fc3cb87e59f25c8512d7b2a252c96
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Mon Jul 4 17:28:24 2011 +0200

    Release 3.1.3

 NEWS         |    7 +++++++
 README       |    6 +++---
 configure.ac |    2 +-
 3 files changed, 11 insertions(+), 4 deletions(-)
---
diff --git a/NEWS b/NEWS
index 5918f7b..12c5f62 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,10 @@
+News in 3.1.3
+-------------
+* New Markdown lang file
+* New Standard ML lang file
+* Misc bugfixes
+* Updated translations
+
 News in 3.1.2
 -------------
 * Misc bugfixes
diff --git a/README b/README
index 44be4e8..77ff26a 100644
--- a/README
+++ b/README
@@ -1,7 +1,7 @@
 General Information
 ===================
 
-This is version 3.1.2 of GtkSourceView.
+This is version 3.1.3 of GtkSourceView.
 
 GtkSourceView is a text widget that extends the standard gtk+ 3.x
 text widget GtkTextView.
@@ -32,8 +32,8 @@ GtkSourceView requires glib-2.24.x, GTK+-3.0.x and libxml2 2.6.x.
 
 Simple install procedure:
 
-  % gzip -cd gtksourceview-3.1.2.tar.gz | tar xvf -    # unpack the sources
-  % cd gtksourceview-3.1.2		   # change to the toplevel directory
+  % tar Jxf gtksourceview-3.1.4.tar.xz	   # unpack the sources
+  % cd gtksourceview-3.1.4		   # change to the toplevel directory
   % ./configure				   # run the `configure' script
   % make				   # build gtksourceview
   [ Become root if necessary ]
diff --git a/configure.ac b/configure.ac
index 6f02a38..4f76327 100644
--- a/configure.ac
+++ b/configure.ac
@@ -4,7 +4,7 @@ AC_PREREQ(2.64)
 
 m4_define(gtksourceview_major_version, 3)
 m4_define(gtksourceview_minor_version, 1)
-m4_define(gtksourceview_micro_version, 2)
+m4_define(gtksourceview_micro_version, 3)
 m4_define(gtksourceview_version, gtksourceview_major_version.gtksourceview_minor_version.gtksourceview_micro_version)
 
 AC_INIT([gtksourceview],[gtksourceview_version],[http://bugzilla.gnome.org/enter_bug.cgi?product=gtksourceview],[gtksourceview],[http://projects.gnome.org/gtksourceview/])