From bf60eff7ea6f041996bbff3f7e8f50515fdb7a09 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 21 Nov 2020 21:25:47 +0000
Subject: [PATCH] fix toplevel targets

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

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