[1] openxm01-1.1.2.tar.gz (source distribution): bash$ diff -s Makefile.old Makefile 13c13 < (cd packages/doc ; make install) --- > -(cd packages/doc ; make install)