commit 3135a1ae7eb09d939b5d192eb864c60909cf3439
author Pau Espin Pedrol <pespin@sysmocom.de> Thu May 07 13:16:19 2020 +0200
committer pespin <pespin@sysmocom.de> Thu May 07 13:27:55 2020 +0000
tree 5fb546045be5de4e7d7eb42aa78c5ea522c9845f
parent d27b3ba2e2279ab2b55bfea05d00add3af82e2b5

Makefile: Add manual target to build user manual

Change-Id: I61ff89db5666248de47cb9752a2aecdd6fd06f02

Makefile

diff --git a/Makefile b/Makefile
index eb2f8d8..ee6300e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-all: deps version check
+all: deps version check manual
 
 .PHONY: version check
 
@@ -8,8 +8,11 @@
 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