diff options
Diffstat (limited to 'unmaintained/julia/makefile-dont-rebuild-docs.patch')
| -rw-r--r-- | unmaintained/julia/makefile-dont-rebuild-docs.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/unmaintained/julia/makefile-dont-rebuild-docs.patch b/unmaintained/julia/makefile-dont-rebuild-docs.patch new file mode 100644 index 0000000000..8e067a09ca --- /dev/null +++ b/unmaintained/julia/makefile-dont-rebuild-docs.patch @@ -0,0 +1,12 @@ +--- a/Makefile ++++ b/Makefile +@@ -338,8 +338,7 @@ + $(build_depsbindir)/stringreplace $$(strings -t x - $1 | grep '$2' | awk '{print $$1;}') '$3' 255 "$(call cygpath_w,$1)" + endef + +-install: $(build_depsbindir)/stringreplace $(BUILDROOT)/doc/_build/html/en/index.html +- @$(MAKE) $(QUIET_MAKE) all ++install: $(build_depsbindir)/stringreplace + @for subdir in $(bindir) $(datarootdir)/julia/site/$(VERSDIR) $(docdir) $(man1dir) $(includedir)/julia $(libdir) $(private_libdir) $(sysconfdir); do \ + mkdir -p $(DESTDIR)$$subdir; \ + done |