From d9d6ff9f8eb4269bb697912154ef9d6d96ab1481 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Wed, 1 Feb 2006 16:49:52 +0000
Subject: [PATCH] * Doh.

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

diff --git a/externals/Makefile.am b/externals/Makefile.am
index 2f8fc5698..dcddaa5d1 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -66,7 +66,7 @@ endif
 
 all: build-db build-aterm
 
-EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz register.patch
+EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz
 
 ext-clean:
 	$(RM) -f have-db build-db have-aterm build-aterm