Update policy

diff --git a/Documentation/user/policy.txt b/Documentation/user/policy.txt
index a6a6c0e11299c18cb4eb0fc0869de8a3de9d57d4..b783f6b6ca300ac3a2c1c3aeae9812defd53317d 100644 (file)
--- a/Documentation/user/policy.txt
+++ b/Documentation/user/policy.txt
@@ -281,4 +281,9 @@ main docs
   Say `invalid' instead.
 
 
+FOR DOC EDITOR ONLY
+
+* sectioning commands (@node and @section) must not appear inside
+  an @ignore.  Separate those commands with a space, ie @n ode.
+