From a1b65c33bf8cfd3fcfc1b258cea056a58298566d Mon Sep 17 00:00:00 2001
From: Cedric Bastoul <cedric.bastoul@u-psud.fr>
Date: Fri, 17 Feb 2012 15:26:25 +0100
Subject: [PATCH] Set to 0.8.3

---
 configure.ac      | 2 +-
 doc/openscop.texi | 4 ++--
 redo.sh           | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/configure.ac b/configure.ac
index 25070f3..9b7b265 100644
--- a/configure.ac
+++ b/configure.ac
@@ -66,7 +66,7 @@ dnl Input file for autoconf to build a configuration shellscript.
 
 m4_define([version_major], [0])
 m4_define([version_minor], [8])
-m4_define([version_revision], [2])
+m4_define([version_revision], [3])
 
 AC_PREREQ(2.53)
 dnl Fill here the @bug email adress.
diff --git a/doc/openscop.texi b/doc/openscop.texi
index 411382b..684293d 100644
--- a/doc/openscop.texi
+++ b/doc/openscop.texi
@@ -20,8 +20,8 @@
 
 @set EDITION 1.0
 @set SPEC_VERSION 1.0
-@set LIB_VERSION 0.8.2
-@set UPDATED January 10th 2012
+@set LIB_VERSION 0.8.3
+@set UPDATED February 17th 2012
 @setchapternewpage odd
 
 @c % This is to ask for A4 instead of Letter size document.
diff --git a/redo.sh b/redo.sh
index a36a3aa..7a067dd 100755
--- a/redo.sh
+++ b/redo.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
 make maintainer-clean
 ./autogen.sh
-./configure --prefix=$HOME/usr
+./configure --prefix=$HOME/usr --with-gmp=system --with-gmp-prefix=/usr
 make
-- 
2.11.4.GIT