21 lines
863 B
Diff
21 lines
863 B
Diff
diff -ruN julia-1.10.4.orig/doc/Makefile julia-1.10.4/doc/Makefile
|
|
--- julia-1.10.4.orig/doc/Makefile 2024-06-06 21:49:32.084595230 +0800
|
|
+++ julia-1.10.4/doc/Makefile 2024-06-06 22:04:17.150827400 +0800
|
|
@@ -44,16 +44,13 @@
|
|
|
|
html: deps
|
|
@echo "Building HTML documentation."
|
|
- $(JULIA_EXECUTABLE) --color=yes $(call cygpath_w,$(SRCDIR)/make.jl) $(DOCUMENTER_OPTIONS)
|
|
@echo "Build finished. The HTML pages are in _build/html."
|
|
|
|
pdf: deps
|
|
@echo "Building PDF documentation."
|
|
- $(JULIA_EXECUTABLE) --color=yes $(call cygpath_w,$(SRCDIR)/make.jl) -- pdf $(DOCUMENTER_OPTIONS)
|
|
@echo "Build finished."
|
|
|
|
# The deploy target should only be called in CI builds
|
|
deploy: deps
|
|
@echo "Deploying HTML documentation."
|
|
- $(JULIA_EXECUTABLE) --color=yes $(call cygpath_w,$(SRCDIR)/make.jl) -- deploy $(DOCUMENTER_OPTIONS)
|
|
@echo "Build & deploy of docs finished."
|