From 7f629fc3270a1ecfa6b37fc2d85fc3a8a751af6e Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 29 Mar 2021 18:18:06 +0200
Subject: [doc] [dune] Some tweaks from #13617

Tweaks to docs that are independent / unrelated to that PR.
---
 Makefile.dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.dune')

diff --git a/Makefile.dune b/Makefile.dune
index c338405f2c..1313ef5eac 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -18,7 +18,7 @@ help:
 	@echo "  - world:  build all public binaries and libraries"
 	@echo "  - watch:  build all public binaries and libraries [continuous build]"
 	@echo "  - check:  build all ML files as fast as possible"
-	@echo "  - test-suite: run Coq's test suite"
+	@echo "  - test-suite: run Coq's test suite [env NJOBS=N to set job parallelism]"
 	@echo ""
 	@echo "  Note: running ./configure is not recommended,"
 	@echo "        see dev/doc/build-system.dune.md for more info"
-- 
cgit v1.2.3