From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 21 Nov 2020 21:25:47 +0000 (+0000)
Subject: fix toplevel targets
X-Git-Tag: otter-0.2.0~421
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=bf60eff7ea6f041996bbff3f7e8f50515fdb7a09;p=otter.git

fix toplevel targets

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

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