From dfe090d1b44771019a59cf79a14e0957d8d5fc16 Mon Sep 17 00:00:00 2001
From: Krzysztof Jurewicz <krzysztof.jurewicz@gmail.com>
Date: Wed, 30 May 2018 21:01:33 +0200
Subject: Add $(TEST_DIR) to the default value of SHELL_PATHS

---
 doc/src/guide/shell.asciidoc | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'doc/src/guide/shell.asciidoc')

diff --git a/doc/src/guide/shell.asciidoc b/doc/src/guide/shell.asciidoc
index a527253..5484b9d 100644
--- a/doc/src/guide/shell.asciidoc
+++ b/doc/src/guide/shell.asciidoc
@@ -44,3 +44,7 @@ $ make shell
 
 The shell can be stopped as usual with a double Ctrl+C or the
 command `q().`.
+
+Note that the `shell` target does not build the application. To do it,
+use either the `app` target or, if you want to include also test
+modules, the `test-build` target.
\ No newline at end of file
-- 
cgit v1.2.3

