Mark scroll-*-aggressively as being documented in the manual.

diff --git a/etc/NEWS b/etc/NEWS
index 4a4ddb00c62f3287146d0b8f1e5c5e0d0a3b687d..2fb7fc9d6009e052678f68f54ef75e408c10cf1d 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -559,6 +559,7 @@ This behavior is activated by setting the buffer-local variable
 `indicate-empty-lines' to a non-nil value.  The default value of this
 variable is found in `default-indicate-empty-lines'.
 
++++
 ** There is a new "aggressive" scrolling method.
 
 When scrolling up because point is above the window start, if the