From c8abe31798b07319a20abffc1e98ee21cec8c8ae Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Wed, 13 Jan 2021 01:56:12 +0000 Subject: [PATCH] Makefile: drop "doc" from default build It is slow and annoying Signed-off-by: Ian Jackson --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 651eb073..9222a8d6 100644 --- 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 -- 2.30.2