diff options
Diffstat (limited to 'unmaintained/julia/0003-no-clean-docs.patch')
| -rw-r--r-- | unmaintained/julia/0003-no-clean-docs.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/unmaintained/julia/0003-no-clean-docs.patch b/unmaintained/julia/0003-no-clean-docs.patch new file mode 100644 index 0000000000..0be74175cc --- /dev/null +++ b/unmaintained/julia/0003-no-clean-docs.patch @@ -0,0 +1,18 @@ +--- a/Makefile ++++ b/Makefile +@@ -526,7 +526,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 +@@ -548,7 +547,6 @@ + + distcleanall: cleanall + @-$(MAKE) -C $(BUILDROOT)/deps distcleanall +- @-$(MAKE) -C $(BUILDROOT)/doc cleanall + + .PHONY: default debug release check-whitespace release-candidate \ + julia-debug julia-release julia-deps \ |