From 4424c541b309d40de4d3fc216cd972b36a177058 Mon Sep 17 00:00:00 2001 From: Tony Kelman Date: Fri, 16 Dec 2016 12:59:40 -0800 Subject: [PATCH] Simpler case that's not as windows specific --- doc/Makefile | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/doc/Makefile b/doc/Makefile index cd6e3693b4261..f9fa69e00a56c 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -19,19 +19,14 @@ help: @echo " check to run linkcheck and doctests" clean: - -rm -rf _build/* deps/* docbuild.log + -rm -rf _build/* deps/* cleanall: clean html: @echo "Building HTML documentation." -ifneq ($(OS),WINNT) - $(JULIA_EXECUTABLE) make.jl -- deploy -else -# work around issue #11727, windows output redirection breaking on buildbot - $(JULIA_EXECUTABLE) make.jl -- deploy > docbuild.log 2>&1 - @cat docbuild.log -endif +# pipe to cat to work around issue #11727, redirection breaking on windows buildbot + $(JULIA_EXECUTABLE) make.jl -- deploy | cat 2>&1 @echo "Build finished. The HTML pages are in _build/html." pdf: