+2002-01-06 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
+
+ * update_web_docs (contrib_file): Remove.
+ Also removing special handling of thanks.html.
+
+2001-12-17 Joseph S. Myers <jsm28@cam.ac.uk>
+
+ * update_web_docs: Use makeinfo --html instead of texi2html.
+ Remove support for pre-3.1 GCC versions. Build online docs for
+ gccint manual.
+
+2001-12-17 Joseph S. Myers <jsm28@cam.ac.uk>
+
+ * update_web_docs_old: Copy from update_web_docs. Add comment
+ that this is for GCC 3.0.x and earlier versions.
+
+2001-11-19 Joseph S. Myers <jsm28@cam.ac.uk>
+
+ * gcc_release: Add /usr/local/bin to path when local.
+
+2001-11-06 Joseph S. Myers <jsm28@cam.ac.uk>
+
+ * update_web_docs: Set SOURCEDIR so that install manual can be
+ found when running install.texi2html.
+
+ * gcc_release: Don't require a username if running locally.
+
+2001-11-05 Joseph S. Myers <jsm28@cam.ac.uk>
+
+ * update_web_docs: Eliminate warnings about keeping files from web
+ page preprocessing.
+
+ * update_web_docs: Allow for the same file name in different
+ directories.
+
2001-10-29 Joseph S. Myers <jsm28@cam.ac.uk>
* update_web_docs: Generate libiberty and gnat-style manuals.