From: Yann Dirson Date: Mon, 16 Dec 2013 21:53:23 +0000 (+0100) Subject: Minor makefile improvements X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=9877df618bced42e77c2ea0e3498dd1b514a4d77;p=gnushogi.git Minor makefile improvements --- diff --git a/Makefile.in b/Makefile.in index 7cc94d5..2ddcab5 100644 --- a/Makefile.in +++ b/Makefile.in @@ -101,7 +101,7 @@ dist: tar -cf - --exclude .git --exclude $(DISTNAME) $(ROOT) | (cd $(DISTNAME) && tar -xf -) cd $(DISTNAME) && $(ROOT)/autogen.sh && $(ROOT)/configure cd $(DISTNAME)/doc && $(MAKE) info - cd $(DISTNAME) && make distclean + cd $(DISTNAME) && $(MAKE) distclean tar -zcf $(DISTNAME).tar.gz $(DISTNAME) # @@ -115,6 +115,7 @@ DISTCLEANFILES = \ distclean: clean rm -rf $(DISTCLEANFILES) + find -name '*~' | xargs rm cd $(BUILDROOT)/doc && $(MAKE) distclean #