X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=Makefile.in;h=cdc7c8f32d7662d36f3b9c96d37e20b65d20490d;hb=48e91ef03a032a541100743df1fd083696a5d3cd;hp=78126689b9642ae562ced965d8df127234ecad18;hpb=8ce8026a83784396ecdb1cc1530ab09c7ae0a53c;p=gnushogi.git diff --git a/Makefile.in b/Makefile.in index 7812668..cdc7c8f 100644 --- a/Makefile.in +++ b/Makefile.in @@ -73,7 +73,7 @@ xshogi_install: $(XSHOGIDIR)/xshogi # Cleanup. # -clean: gnushogi_clean @XSHOGICLEAN@ +clean: gnushogi_clean @XSHOGICLEAN@ doc_clean gnushogi_clean: cd $(GNUSHOGIDIR); $(MAKE) clean @@ -81,6 +81,9 @@ gnushogi_clean: xshogi_clean: cd $(XSHOGIDIR); $(MAKE) clean +doc_clean: + cd doc; $(MAKE) clean + # # Building a distribution. @@ -101,14 +104,14 @@ DISTCLEANFILES = \ distclean: clean rm -rf $(DISTCLEANFILES) - + cd doc; $(MAKE) distclean # # Extra cleanup, for the maintainer only. # -MAINTAINERCLEANFILES = configure config.h.in doc/gnushogi.info +MAINTAINERCLEANFILES = configure config.h.in maintainerclean: distclean rm -f $(MAINTAINERCLEANFILES) - + cd doc; $(MAKE) maintainerclean