From 16e9beb6ceae433de04cfa78cd52a5d4499a3183 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 21 Nov 2020 21:42:25 +0000
Subject: [PATCH] drop doc from default as it produces annoying warnings

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index d09fbd59..5946e3f4 100644
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,7 @@
 SHELL=/bin/bash
 
 default: all check
-all: debug doc
+all: debug
 everything: debug doc release check bundled-sources
 
 #---------- funky macros etc. ----------
-- 
2.30.2