This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Dead link http://gcc.gnu.org/install/build.html on http://gcc.gnu.org/install/


On Tue, 21 Feb 2006, Ben Elliston wrote:

> Good find, thanks.  For install/build.html, for instance:
> 
> revision 1.26
> date: 2001/05/23 06:02:05;  author: gerald;  state: dead;  lines: +0 -0
> Remove all install documentation in HTML format, as this now resides in
> gcc/doc/install.texi.
> 
> Gerald removed these files for the reason shown above.  However I'm
> not sure what we should do about it.  Perhaps provide a small page
> explaining where to get installation docs.

This is not the relevant reference; the files should be generated by 
install.texi2html.  See, instead, 
<http://gcc.gnu.org/ml/gccadmin/2006-q1/msg00132.html>:

/tmp/gcc-doc-update.4743/gcc/gcc/doc/install.texi:1724: Footnote defined without parent node.
makeinfo: Removing output file `/www/gcc/htdocs-preformatted/install/build.html' due to errors; use --force to preserve.

[...]
Removing obsolete file ./install/build.html

I suspect

r111295 | bonzini | 2006-02-20 08:29:17 +0000 (Mon, 20 Feb 2006) | 59 lines

of being the responsible patch.

I've installed the following patch to ensure that install.texi2html halts 
with error status (and so update_web_docs_svn does so) when such an error 
occurs.

Index: doc/install.texi2html
===================================================================
--- doc/install.texi2html	(revision 111331)
+++ doc/install.texi2html	(working copy)
@@ -5,13 +5,15 @@
 # $SOURCEDIR and $DESTDIR, resp., refer to the directory containing
 # the texinfo source and the directory to put the HTML version in.
 #
-# (C) 2001 Free Software Foundation
+# (C) 2001, 2003, 2006 Free Software Foundation
 # Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001.
 #
 # This script is Free Software, and it can be copied, distributed and
 # modified as defined in the GNU General Public License.  A copy of
 # its license can be downloaded from http://www.gnu.org/copyleft/gpl.html
 
+set -e
+
 SOURCEDIR=${SOURCEDIR-.}
 DESTDIR=${DESTDIR-HTML}
 
Index: ChangeLog
===================================================================
--- ChangeLog	(revision 111331)
+++ ChangeLog	(working copy)
@@ -1,3 +1,7 @@
+2006-02-21  Joseph S. Myers  <joseph@codesourcery.com>
+
+	* doc/install.texi2html: Use set -e.
+
 2006-02-21  Richard Sandiford  <richard@codesourcery.com>
 
 	* doc/tm.texi (ASM_OUTPUT_SHARED_COMMON, ASM_OUTPUT_SHARED_BSS)

-- 
Joseph S. Myers               http://www.srcf.ucam.org/~jsm28/gcc/
    jsm@polyomino.org.uk (personal mail)
    joseph@codesourcery.com (CodeSourcery mail)
    jsm28@gcc.gnu.org (Bugzilla assignments and CCs)


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]