committed: PR 14150

Joseph S. Myers jsm@polyomino.org.uk
Fri Apr 2 01:11:00 GMT 2004


On Thu, 1 Apr 2004, Arnaud Charlet wrote:

> The generated texi files are no longer included in CVS since this caused
> endless trouble in the past, and is instead always generated when building,
> since we now require gnatmake for building Ada.

This is not OK, gcc.gnu.org does not have gnatmake installed and should
not need to do a build anyway to update onlinedocs.  update_web_docs
expects all generated .texi files to be in CVS.  This requirement is, of
course, itself documented in sourcebuild.texi.

In general you need corresponding patches to update_web_docs and
onlinedocs/index.html for any change in the set of manuals.

Please explain the changes from @ifnottex to @ifinfo in the manuals.  
@ifinfo is usually wrong.  Have you tested makeinfo --html on the manuals
(both that it works, and that all the manual text is included in the HTML
manuals)?

Some RCS ids appear to have been added to the manuals.  They should be
removed.

You appear to have reverted my fix to PR 14630 (adding info directory
entries and categories).  Why have you reverted this (and not reopened the
bug)?  (Please check for any other patches that may have been reverted.  
Indeed, the changes to @ifinfo look like another reversion of an older
patch.)

-- 
Joseph S. Myers
jsm@polyomino.org.uk



More information about the Gcc-patches mailing list