From 2d75d7e56bc00c9abe51d39c4306084b24fe8cd5 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Wed, 5 Nov 2014 22:04:30 +0100
Subject: [PATCH] Help: Add notes for topic 'console-pool'

---
 Help/release/dev/console-pool.rst | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 Help/release/dev/console-pool.rst

diff --git a/Help/release/dev/console-pool.rst b/Help/release/dev/console-pool.rst
new file mode 100644
index 000000000..19c2f191d
--- /dev/null
+++ b/Help/release/dev/console-pool.rst
@@ -0,0 +1,8 @@
+console-pool
+------------
+
+* The :command:`add_custom_command` and :command:`add_custom_target`
+  commands learned a new ``USES_TERMINAL`` option to request that
+  the command be given direct access to the terminal if possible.
+  The :generator:`Ninja` generator will places such commands in the
+  ``console`` pool.