From: Eric Blake <ebb9@byu.net>
Date: Wed, 12 Jul 2006 15:19:16 +0000 (+0000)
Subject: * MODULES.html.sh: Add gendocs.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5e8b110dd96e593c5e011f4f68c9c6a291bb3bcc;p=pspp

* MODULES.html.sh: Add gendocs.
---

diff --git a/ChangeLog b/ChangeLog
index 890be46348..e9f0b61a4a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2006-07-12  Eric Blake  <ebb9@byu.net>
+
+	* MODULES.html.sh: Add gendocs.
+
 2006-07-11  Eric Blake  <ebb9@byu.net>
 
 	* gnulib-tool: List --doc-base before --tests-base.
diff --git a/MODULES.html.sh b/MODULES.html.sh
index 98c6737228..1fc6628e30 100755
--- a/MODULES.html.sh
+++ b/MODULES.html.sh
@@ -2074,6 +2074,7 @@ func_all_modules ()
   func_echo "$element"
 
   func_module fdl
+  func_module gendocs
   func_end_table
 }