This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: committed: PR 14150
> What about ug_words (mentioned in the xgnatugn line below)?
Right, it also needs to be checked out.
> As this script (the copy on gcc.gnu.org) may be used to generate manuals
> for new releases from the 3.3 and 3.4 branches, the old manual names
> shouldn't be removed until those branches are dead. Manuals that don't
> exist on a particular branch are quietly ignored.
Fine with me.
Note that I can't check that the script at gcc.gnu.org will run properly,
so I can't really put this change in place. There may well be small details
to sort out (like the ug_words check out that you found), although I do
not anticipate anything complicated.
Who could take care of that ?
Arno