diff options
Diffstat (limited to 'packages/Makefile')
| -rw-r--r-- | packages/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/packages/Makefile b/packages/Makefile index 5c80f22e..9861a6d2 100644 --- a/packages/Makefile +++ b/packages/Makefile @@ -396,6 +396,7 @@ abstractions_clean: -$(MAKE) -C $(abstractions_src) $(DEST_PATHS) clean doc_clean: + -$(MAKE) -C $(doc_src) $(DEST_PATHS) clean externals_clean: -$(MAKE) -C $(externals_src) $(DEST_PATHS) clean @@ -403,12 +404,11 @@ externals_clean: pd_clean: -$(MAKE) -C $(pd_src)/src $(DEST_PATHS) clean -# these targets are all from Makefile.buildlayout: install_clean cruft_clean clean: abstractions_clean doc_clean externals_clean pd_clean echo "Complete clean finished." -distclean: cruft_clean +distclean: $(MAKE) -C $(abstractions_src) distclean $(MAKE) -C $(doc_src) distclean $(MAKE) -C $(externals_src) distclean |