Index: apron/apron/octagons/Makefile
===================================================================
--- apron.orig/apron/octagons/Makefile	2010-01-17 14:45:44.000000000 +0100
+++ apron/apron/octagons/Makefile	2010-01-17 14:45:53.000000000 +0100
@@ -138,7 +138,7 @@
 	for i in octtest?? octtop?? octrun??; do \
 		if test -f $$i; then $(INSTALL) $$i $(BINDIR); fi; \
 	done
-	for i in oct.mli oct.cmi oct.cmx oct*.cma oct*.cmxa oct.a; do \
+	for i in oct.mli oct.cmi oct.cmx oct*.cma oct*.cmxa oct*.a; do \
 		if test -f $$i; then $(INSTALL) $$i $(LIBDIR); fi; \
 	done
 
