From 471749ca7eb594660488954d23391f5329d638a4 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Tue, 14 Nov 2006 19:18:52 +0000
Subject: [PATCH] * Grrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr...

---
 externals/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/externals/Makefile.am b/externals/Makefile.am
index 969ca2df87..1857efb150 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -102,7 +102,7 @@ endif
 all: build-db build-aterm build-bzip2
 
 EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.bz2 $(BZIP2).tar.gz \
-  bdb-cygwin.patch aterm-aliasing.patch aterm-64-bit.patch
+  bdb-cygwin.patch
 
 ext-clean:
 	$(RM) -f have-db build-db have-aterm build-aterm