[ocrfeeder] Update for release 0.7.2

[Joaquim Manuel Pereira Rocha <jrocha src gnome org>]

commit 1a2e9d8131d415811be80f4e4787617350aa5b93
Author: Joaquim Rocha <jrocha igalia com>
Date:   Mon Jan 3 09:14:39 2011 +0100

    Update for release 0.7.2

 NEWS         |   28 ++++++++++++++++++++++++++++
 configure.ac |    2 +-
 2 files changed, 29 insertions(+), 1 deletions(-)
---
diff --git a/NEWS b/NEWS
index 0bbc4f7..ef65038 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,31 @@
+Version 0.7.2
+==============
+
+Bug fixes
+----------
+
+* Fix the document menu items' sensitiveness after
+  recognizing a document
+
+New Features
+-------------
+
+* Add help contents (user documentation)
+
+Improvements
+-------------
+
+* Update manpages to reflect all available command-line
+  options (thanks to Alberto Garcia)
+* Replace distutils with autotools
+
+New and Updated Translations
+-----------------------------
+
+* Joe Hansen [da]
+* Lucian Adrian Grijincu [ro]
+
+
 Version 0.7.1a
 ================
 
diff --git a/configure.ac b/configure.ac
index ab62811..79ad1e0 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,6 +1,6 @@
 AC_PREREQ([2.63])
 AC_INIT([ocrfeeder],
-        [0.7.1a],
+        [0.7.2],
         [https://bugzilla.gnome.org/enter_bug.cgi?product=ocrfeeder],
         [ocrfeeder])