diff --git a/docs/help/in/ignore.in b/docs/help/in/ignore.in
index 433490e1..351c0411 100644
--- a/docs/help/in/ignore.in
+++ b/docs/help/in/ignore.in
@@ -29,6 +29,8 @@
     because it is allowed in addition to other ignores for the same target.
     The special level 'HIDDEN' can be used to hide matching messages that can
     later be revealed using /WINDOW HIDELEVEL -HIDDEN
+    The special level 'NOHILIGHT' can be used to supress hilights without actually
+    ignoring the message.
 
 %9Examples:%9