about summary refs log tree commit diff
path: root/externals
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-12-15T13·45+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-12-15T13·45+0000
commit11a8dc76d6262c8da601cf640516b9e9669850a2 (patch)
tree323567248ba3027e7b4fc05f96ede1963992c613 /externals
parentab5c6bb3a3deef29c6fe0a86017d35bc4f3de506 (diff)
* Doh!
Diffstat (limited to 'externals')
-rw-r--r--externals/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am
index 05f9ddea6245..76f4c6759440 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