From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 21 Nov 2020 21:42:25 +0000 (+0000)
Subject: drop doc from default as it produces annoying warnings
X-Git-Tag: otter-0.2.0~420
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=16e9beb6ceae433de04cfa78cd52a5d4499a3183;p=otter.git

drop doc from default as it produces annoying warnings

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

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. ----------