Greg, It appears that you stopped the make in the middle of the translation of i-coerfn.boot.pamphlet.
Try
make clean
rm -rf int obj mnt noweb
make NOISE=
Tim
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
