Makefile: drop "doc" from default build

It is slow and annoying

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/Makefile b/Makefile
index 651eb073fae20550b8f7c942f9da12cfe029c8ca..9222a8d610d8a077cafc3d6d11e99be4e51aaf30 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -10,7 +10,7 @@
 SHELL=/bin/bash
 src=.
 
-default: all check doc
+default: all check
 all: debug
 everything: debug doc release check bundled-sources