[gappa] New upstream version. Drop %clean section. Drop upstreamed patches. Build the PDF file instead of do

[Jerry James]

commit 78dd1ba6394ff509f1605de304e0f6dbe2fce2e2
Author: Jerry James <loganjerry at gmail.com>
Date:   Tue Apr 19 11:27:57 2011 -0600

    New upstream version.
    Drop %clean section.
    Drop upstreamed patches.
    Build the PDF file instead of downloading it.

 .gitignore             |    3 +-
 gappa-init-order.patch |  241 ------------------------------------------------
 gappa-nounput.patch    |   10 --
 gappa.spec             |   37 +++----
 sources                |    3 +-
 5 files changed, 18 insertions(+), 276 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index ec43dc5..1ffd23e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1 @@
-gappa-0.14.0.tar.gz
-gappa.pdf
+gappa-0.14.1.tar.gz
diff --git a/gappa.spec b/gappa.spec
index 98dd3aa..adbbe7e 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,19 +1,14 @@
 Name:		gappa
-Version:	0.14.0
+Version:	0.14.1
 Release:	1%{?dist}
 Summary:	Prove programs with floating-point or fixed-point arithmetic
 
 Group:		Applications/Productivity
 License:	GPLv2 or CeCILL
 URL:		http://gappa.gforge.inria.fr/
-Source0:	https://gforge.inria.fr/frs/download.php/27654/gappa-%{version}.tar.gz
-Source1:	http://gappa.gforge.inria.fr/gappa.pdf
-# Tell flex not to generate the unused unput() function.
-Patch0:         gappa-nounput.patch
-# Fix an order-of-initialization bug with static initializers
-Patch1:         gappa-init-order.patch
+Source0:	https://gforge.inria.fr/frs/download.php/28470/gappa-%{version}.tar.gz
 
-BuildRequires:	gmp-devel, mpfr-devel, boost-devel, flex, bison
+BuildRequires:	gmp-devel, mpfr-devel, boost-devel, flex, bison, dblatex
 
 %description
 Gappa is a tool intended to help verifying and formally prove
@@ -28,9 +23,6 @@ written by Guillaume Melquiond.
 
 %prep
 %setup -q
-cp -p %SOURCE1 .
-%patch0
-%patch1
 
 # Regenerate the flex and bison files
 rm -f src/parser/lexer.cpp src/parser/parser.cpp src/parser/parser.h
@@ -41,14 +33,16 @@ ln -s parser/lexer.lpp src/lexer.lpp
 ln -s parser/parser.cpp src/parser.cpp
 ln -s parser/parser.ypp src/parser.ypp
 
-%build
-%configure
-make %{?_smp_mflags}
+# Fix encoding
 iconv -f latin1 -t utf8 COPYING > COPYING.UTF8 && \
 touch -r COPYING COPYING.UTF8 && \
 mv COPYING.UTF8 COPYING
-# We won't 'make html-doc'; that requires dvi2bitmap, which is unpackaged.
 
+%build
+%configure
+make %{?_smp_mflags}
+# We won't 'make html-doc'; that requires dvi2bitmap, which is unpackaged.
+make -C doc gappa.pdf
 
 %check
 # Simple test to see if gappa is working at all:
@@ -64,21 +58,22 @@ make check
 
 
 %install
-rm -rf %{buildroot}
 make install DESTDIR=%{buildroot}
 
 
-%clean
-rm -rf %{buildroot}
-
-
 %files
 %defattr(-,root,root,-)
 %{_bindir}/gappa
-%doc AUTHORS COPYING COPYING.GPL README TODO NEWS gappa.pdf
+%doc AUTHORS COPYING COPYING.GPL README TODO NEWS doc/gappa.pdf
 
 
 %changelog
+* Tue Apr 19 2011 Jerry James <loganjerry at gmail.com> - 0.14.1-1
+- New upstream version
+- Drop %%clean section
+- Drop upstreamed patches
+- Build the PDF file instead of downloading it
+
 * Tue Mar 15 2011 Jerry James <loganjerry at gmail.com> - 0.14.0-1
 - New upstream version
 - Remove BuildRoot tag
diff --git a/sources b/sources
index 35518ca..6577573 100644
--- a/sources
+++ b/sources
@@ -1,2 +1 @@
-86fb62a786f1a38afa6b52c62767b696  gappa-0.14.0.tar.gz
-15be2bc2e5fc88ff5addea92b85c44ea  gappa.pdf
+801f332c9eb309e1468cfc2030e776fb  gappa-0.14.1.tar.gz