===================================================================
RCS file: /home/cvs/OpenXM/src/pari/Makefile,v
retrieving revision 1.1
retrieving revision 1.7
diff -u -p -r1.1 -r1.7
--- OpenXM/src/pari/Makefile	2000/01/08 17:17:50	1.1
+++ OpenXM/src/pari/Makefile	2000/01/08 20:31:47	1.7
@@ -1,4 +1,4 @@
-# $OpenXM$
+# $OpenXM: OpenXM/src/pari/Makefile,v 1.6 2000/01/08 19:10:25 maekawa Exp $
 
 PARI = ../../../OpenXM_contrib/pari
 CURDIR = ../../OpenXM/src/pari
@@ -18,6 +18,9 @@ clean:
 		(cd $(PARI) ; make clean) \
 	fi
 	@rm -f ./.make_done ./.configure_done
+
+distclean:
+	@cat BINARIES | xargs -t rm -rf
 
 configure:
 	@if [ ! -f ./.configure_done ]; then \