chiark / gitweb /
~ianmdlvl / otter.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6b34d11)
add doc to default target
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 11 Jan 2021 01:07:48 +0000 (01:07 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 11 Jan 2021 01:18:15 +0000 (01:18 +0000)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index 7339fc0d2f6bcecc9ffd56bad0cde7c2663adf19..de0006649b8404a821352ddcc751a71603ef62dd 100644 (file)
--- 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
 
Unnamed repository; edit this file 'description' to name the repository.