1 --- extra_files/Makefile.SH.orig 2012-11-11 16:29:26.000000000 +0000
2 +++ extra_files/Makefile.SH
3 @@ -186,7 +186,6 @@ local_clobber:: local_realclean
4 $(RM) Makefile config.sh
6 install:: local_install sub_install
9 install.man:: maybe_install.man sub_install.man
10 deinstall:: sub_deinstall local_deinstall