diff -u eprover-1.0.004/debian/changelog eprover-1.0.004/debian/changelog
--- eprover-1.0.004/debian/changelog
+++ eprover-1.0.004/debian/changelog
@@ -1,3 +1,10 @@
+eprover (1.0.004-1ubuntu1) karmic; urgency=low
+
+  * debian/rules: fix FTBFS in all archs except i386.  (LP: #381092)
+    changed "build:" target as it makes build documentation for all archs.
+
+ -- Andrea Gasparini <gaspa@yattaweb.it>  Wed, 27 May 2009 22:48:37 +0200
+
 eprover (1.0.004-1) unstable; urgency=low
 
   * Initial Debian release.
diff -u eprover-1.0.004/debian/control eprover-1.0.004/debian/control
--- eprover-1.0.004/debian/control
+++ eprover-1.0.004/debian/control
@@ -1,7 +1,8 @@
 Source: eprover
 Section: science
 Priority: extra
-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
+Maintainer: Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com>
+XSBC-Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
 Uploaders: Petr Pudlak <deb@pudlak.name>
 Build-Depends: debhelper (>= 7), autotools-dev, sed (>= 4.1), mawk (>= 1.3) | gawk (>= 3.1) | awk
 Build-Depends-Indep: tex4ht, texlive-latex-base, texlive-latex-extra, dvipng
diff -u eprover-1.0.004/debian/rules eprover-1.0.004/debian/rules
--- eprover-1.0.004/debian/rules
+++ eprover-1.0.004/debian/rules
@@ -38,7 +38,7 @@
 	CFLAGS="$(CFLAGS)" ./configure --prefix=/usr
 
 
-build: build-indep build-arch
+build: build-arch
 
 build-arch: build-stamp-arch