3 --- Makefile.orig Thu Jul 9 10:33:50 1998
4 +++ Makefile Thu Jul 9 10:44:38 1998
10 + cd sources; make check
13 + cd sources; make clean
16 + cd sources; make install
19 + cd sources; make install-bin
22 + cd sources; make install-man
25 + cd sources; make install-info
28 + cd sources; make mostlyclean
31 + cd sources; make realclean