diff options
-rw-r--r-- | Makefile | 9 | ||||
-rw-r--r-- | Makefile.am | 3 |
2 files changed, 12 insertions, 0 deletions
@@ -20,6 +20,15 @@ all .DEFAULT: echo; \ fi +distclean maintainerclean: + @if test -d $(builddir); then \ + echo cd $(builddir); \ + cd $(builddir); \ + echo $(MAKE) $@; \ + $(MAKE) $@; \ + fi + test -z "$(builddir)" || rm -fr "$(builddir)" + # synonyms for "check" .PHONY: test test: check diff --git a/Makefile.am b/Makefile.am index db74bd378..2edd33820 100644 --- a/Makefile.am +++ b/Makefile.am @@ -118,3 +118,6 @@ man_MANS = \ dist-hook: cp -p "$(srcdir)/Makefile" "$(distdir)/Makefile" + +distclean-local: + test -z "$(DX_DOCDIR)" || rm -fr "$(DX_DOCDIR)" |