From 3135a1ae7eb09d939b5d192eb864c60909cf3439 Mon Sep 17 00:00:00 2001
From: Pau Espin Pedrol <pespin@sysmocom.de>
Date: Thu, 7 May 2020 13:16:19 +0200
Subject: [PATCH] Makefile: Add manual target to build user manual

Change-Id: I61ff89db5666248de47cb9752a2aecdd6fd06f02
---
 Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index eb2f8d8d..ee6300ea 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 @@ 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