+2010-12-08 Ian Lance Taylor <iant@google.com>
+
+ * doc/sourcebuild.texi (Texinfo Manuals): Change update_web_docs
+ to update_web_docs_svn.
+ (Front End): Likewise.
+
2010-12-08 Iain Sandoe <iains@gcc.gnu.org>
gcc/config.gcc (with_cpu): Default i[34567]86-*-darwin* and
Manuals are also provided on the GCC web site, in both HTML and
PostScript forms. This is done via the script
-@file{maintainer-scripts/update_web_docs}. Each manual to be
+@file{maintainer-scripts/update_web_docs_svn}. Each manual to be
provided online must be listed in the definition of @code{MANUALS} in
that file; a file @file{@var{name}.texi} must only appear once in the
source tree, and the output manual must have the same name as the
@email{gcc-announce@@gcc.gnu.org} mailing list.
@item
The front end's manuals should be mentioned in
-@file{maintainer-scripts/update_web_docs} (@pxref{Texinfo Manuals})
+@file{maintainer-scripts/update_web_docs_svn} (@pxref{Texinfo Manuals})
and the online manuals should be linked to from
@file{onlinedocs/index.html}.
@item