From d47ae3db4cf14c72d8468d61113ac88e19235791 Mon Sep 17 00:00:00 2001 From: Quentin Young Date: Fri, 9 Mar 2018 11:12:38 -0500 Subject: [PATCH] doc: don't build html by default Since docs are rebuilt on every make invocation, don't bother building html by default to save a bit of time. Signed-off-by: Quentin Young --- doc/user/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/user/Makefile b/doc/user/Makefile index ad2abb25c1..223f8a64a3 100644 --- a/doc/user/Makefile +++ b/doc/user/Makefile @@ -37,7 +37,7 @@ $(EMPTY_AUTOMAKE_TARGETS): # readable in its own right, but we'll also build info and html because those # offer sequentially better reading experiences. PDF is not built by default # because it takes quite a while. -all: info html +all: info # info and html already have built-in sphinx rules; pdf goes to latexpdf pdf: latexpdf -- 2.39.5