summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3b822802..eb09d1a0 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,7 @@ build-tests-verify: build tests verify
# Build the project
.PHONY: build
-build: build-driver build-lib
+build: build-driver build-lib doc
.PHONY: build-driver
build-driver: