From 11a8dc76d6262c8da601cf640516b9e9669850a2 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 15 Dec 2005 13:45:10 +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 05f9ddea6..76f4c6759 100644
--- a/externals/Makefile.am
+++ b/externals/Makefile.am
@@ -67,7 +67,7 @@ endif
 
 all: build-db build-aterm
 
-EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz
+EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz register.patch
 
 ext-clean:
 	$(RM) -f have-db build-db have-aterm build-aterm