about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-02-01T16·49+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-02-01T16·49+0000
commitd9d6ff9f8eb4269bb697912154ef9d6d96ab1481 (patch)
treebbb50e03b77f10705ba60af9dac4991b2d6f6ff7
parent8291f6d96845163850a2451fff4a03a292fa71b6 (diff)
* Doh.
-rw-r--r--externals/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index 2f8fc56984c6..dcddaa5d139d 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