2 files changed, 17 insertions, 2 deletions

diff --git a/etc/NEWS b/etc/NEWS
index 8d7773bd94c..d63171bd71f 100644
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -1443,15 +1443,19 @@ and also when HOME is set to C:\ by default.
 
 ** New configure.bat options
 
++++
 *** --enable-checking builds Emacs with extra runtime checks.
 
++++
 *** --distfiles specifies files to be included in binary distribution.
 
++++
 *** --without-gnutls disables automatic GnuTLS detection.
 
-*** --lib for general library linkage, works with the USER_LIBS build
-variable.
++++
+*** --lib for general library linkage, works with the USER_LIBS build variable.
 
++++
 ** New make target `dist' to create binary distribution for MS Windows.
 
 ** Function `w32-default-color-map' is now obsolete.
diff --git a/nt/INSTALL b/nt/INSTALL
index f8303582aac..c470ed4960f 100644
--- a/nt/INSTALL
+++ b/nt/INSTALL
@@ -402,6 +402,17 @@
   maybe a problem with the way Cairo or librsvg is using it that
   doesn't show up on other platforms.
 
+* Optional extra runtime checks
+
+  The configure.bat option --enable-checking builds Emacs with some
+  optional extra runtime checks and assertions enabled.  This may be
+  useful for debugging.
+
+* Optional extra libraries
+
+  You can pass --lib LIBNAME option to configure.bat to cause Emacs to
+  link with the specified library.  You can use this option more than once.
+
 * Building
 
   After running configure, simply run the appropriate `make' program for