From 4d50c3db490c93f8173af8829eefd24c5e7c4b5b Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 13 Feb 2023 16:40:44 +0100
Subject: [PATCH] Added manual target to top-level Makefile.

---
 Makefile         | 9 ++++++---
 manual/README.md | 2 +-
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 2ef0ebf..91022c9 100644
--- a/Makefile
+++ b/Makefile
@@ -1,10 +1,13 @@
 # Make recurse into 'src' directory
-.PHONY:	default clean
+.PHONY:	default clean manual
 
 default:
 	cd src; ./build.sh
-	
+
+manual:
+	cd manual; make
 
 clean:
-	cd src; make clean; cd ..
+	cd src; make clean
+
 
diff --git a/manual/README.md b/manual/README.md
index 822e152..fc8e0b3 100644
--- a/manual/README.md
+++ b/manual/README.md
@@ -4,7 +4,7 @@
 
 ### Build process
 
- - Ensure manual build is triggered from root directory Makefile, ideally after checking for the dependencies.
+ - Ensure manual build is triggered from root directory Makefile, ideally after checking for the dependencies. (Partially done: `make manual` from root dir works now.)
 
 ### To document