diff -Nru acl2-4.2/debian/changelog acl2-4.2/debian/changelog
--- acl2-4.2/debian/changelog	2011-05-14 03:02:31.000000000 +0200
+++ acl2-4.2/debian/changelog	2011-11-07 15:58:09.000000000 +0100
@@ -1,3 +1,10 @@
+acl2 (4.2-1.1) UNRELEASED; urgency=low
+
+  * Non-maintainer upload.
+  * Added build-arch and build-indep targets to d/rules.
+
+ -- Niels Thykier <niels@thykier.net>  Mon, 07 Nov 2011 15:52:34 +0100
+
 acl2 (4.2-1) unstable; urgency=low
 
   * New upstream release
diff -Nru acl2-4.2/debian/rules acl2-4.2/debian/rules
--- acl2-4.2/debian/rules	2011-05-13 20:07:24.000000000 +0200
+++ acl2-4.2/debian/rules	2011-11-07 15:55:36.000000000 +0100
@@ -108,7 +108,9 @@
 #	cd interface/infix && make -f Makefile events 
 	touch $@
 
-build: build-stamp
+build: build-arch build-indep
+build-arch: build-stamp
+build-indep: build-stamp
 build-stamp: debian/mini-proveall.out debian/test.log infix-stamp
 	dh_testdir
 
@@ -310,4 +312,4 @@
 	dh_builddeb
 
 binary: binary-indep binary-arch
-.PHONY: build clean binary-indep binary-arch binary install
+.PHONY: build build-arch build-indep clean binary-indep binary-arch binary install