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 <qlyoung@cumulusnetworks.com>

diff --git a/doc/user/Makefile b/doc/user/Makefile
index ad2abb25c19e3dbdc43cfea6e02c7996677178d1..223f8a64a3386f3cc45889ae0d5aedd074cb4999 100644 (file)
--- 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