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."