New module gnu-make, for determining whether we're using GNU Make.

[gnulib.git] / MODULES.html.sh

diff --git a/MODULES.html.sh b/MODULES.html.sh
index 11c4e3e..43f4395 100755 (executable)
--- a/MODULES.html.sh
+++ b/MODULES.html.sh
@@ -1970,6 +1970,7 @@ func_all_modules ()
   func_module frexp
   func_module frexpl
   func_module frexpl-nolibm
+  func_module isfinite
   func_module isnan-nolibm
   func_module isnanf-nolibm
   func_module isnanl
@@ -2727,6 +2728,7 @@ func_all_modules ()
   func_echo "$element"
 
   func_begin_table
+  func_module gnu-make
   func_module host-os
   func_module perl
   func_module uptime