diff options
Diffstat (limited to 'community/julia/0003-no-clean-docs.patch')
| -rw-r--r-- | community/julia/0003-no-clean-docs.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/community/julia/0003-no-clean-docs.patch b/community/julia/0003-no-clean-docs.patch new file mode 100644 index 0000000000..89bb0f8fae --- /dev/null +++ b/community/julia/0003-no-clean-docs.patch @@ -0,0 +1,18 @@ +--- a/Makefile ++++ b/Makefile +@@ -540,7 +540,6 @@ + + clean: | $(CLEAN_TARGETS) + @-$(MAKE) -C $(BUILDROOT)/base clean +- @-$(MAKE) -C $(BUILDROOT)/doc clean + @-$(MAKE) -C $(BUILDROOT)/src clean + @-$(MAKE) -C $(BUILDROOT)/ui clean + @-$(MAKE) -C $(BUILDROOT)/test clean +@@ -564,7 +563,6 @@ + + distcleanall: cleanall + @-$(MAKE) -C $(BUILDROOT)/deps distcleanall +- @-$(MAKE) -C $(BUILDROOT)/doc cleanall + -rm -fr $(build_prefix) $(build_staging) + + .PHONY: default debug release check-whitespace release-candidate \ |