Makefile: Add manual target to build user manual

Change-Id: I61ff89db5666248de47cb9752a2aecdd6fd06f02
This commit is contained in:
Pau Espin 2020-05-07 13:16:19 +02:00 committed by pespin
parent d27b3ba2e2
commit 3135a1ae7e
1 changed files with 5 additions and 2 deletions

View File

@ -1,4 +1,4 @@
all: deps version check
all: deps version check manual
.PHONY: version check
@ -8,8 +8,11 @@ deps:
version:
./update_version.sh
manual:
$(MAKE) -C doc/manuals
check:
$(MAKE) -C selftest check
$(MAKE) -C selftest check
@echo "make check: success"
# vim: noexpandtab tabstop=8 shiftwidth=8