version = 1.0.2

convex.m : *.mt
	-test -e convex.m && mv -f convex.m convex.m~
	cat convex.mt | maple -s >convex.log
	! grep '^> quit$$' convex.log || (tail convex.log ; exit 1)
	grep '^Warning' convex.log || exit 0
	rm -f convex.log convex.m~
	ls -l convex.m

anames :
	./mapleanames <convex.m | grep -v /

convex.tar.gz : *.mt Makefile README Changelog
	tar cf convex.tar ./README ./LICENSE ./Makefile ./Changelog ./*.mt
	gzip -f -9 convex.tar

floppy : convex.m README convex.tar.gz
	test -d /floppy/convex || mount /floppy
	cp -pu convex.m convex.tar.gz README /floppy/convex
	umount /floppy
	echo >floppy

web : convex.m README Changelog convex.tar.gz
	scp -p convex.m convex.tar.gz README Changelog malherbe.ujf-grenoble.fr:public_html/convex/files/$(version)
