From 9bbf3c556da16f5e621e46542210c1493fae5f1e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 11 Jan 2021 01:07:48 +0000
Subject: [PATCH] add doc to default target

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 7339fc0d..de000664 100644
--- a/Makefile
+++ b/Makefile
@@ -9,7 +9,7 @@
 SHELL=/bin/bash
 src=.
 
-default: all check
+default: all check doc
 all: debug
 everything: debug doc release check bundled-sources
 
-- 
2.30.2