Re: [patch, docs] Standardize GCC manual title pages.

[Andreas Schwab]

Brooks Moses <address@hidden> writes:

> Joseph S. Myers wrote:
>> On Sun, 25 Feb 2007, Gerald Pfeifer wrote:
>>> For a change of this kind, I'd prefer Joseph to have a look as well,
>>> so please give him a bit of time before checking this in.
>>>
>>> (Joseph, http://gcc.gnu.org/ml/gcc-patches/2007-02/msg01863.html has
>>> the original patch.)
>>
>> This is OK with me.  (While GNU Press considerations might influence
>> title page layout, I think we should ignore such considerations for now
>> unless and until they start working with the community to discuss their
>> changes on gcc-patches and merge them as individual logical fixes rather
>> than producing local forks and leaving merging megapatches to others.)
>
> Committed to trunk, and to 4.2 after testing on i686-pc-linux-gnu.

I'm getting this on the 4.2 branch:

(echo "@set version-GCC 4.2.0"; \
 if [ "prerelease" = "experimental" ]; \
 then echo "@set DEVELOPMENT"; \
 else echo "@clear DEVELOPMENT"; \
 fi) > gcc-vers.texiT
echo "@set srcdir ../../gcc" >> gcc-vers.texiT
if [ xinfo = xinfo ]; then \
        makeinfo --split-size=5000000 --split-size=5000000 --split-size=5000000 
--no-split -I ../../gcc/doc \
                -I ../../gcc/doc/include -o doc/gccinstall.info 
../../gcc/doc/install.texi; \
fi
mv -f gcc-vers.texiT gcc-vers.texi
../../gcc/doc/include/gcc-common.texi:11: @include `gcc-vers.texi': No such 
file or directory.
makeinfo: Removing output file `doc/gccinstall.info' due to errors; use --force 
to preserve.
make[3]: *** [doc/gccinstall.info] Error 1

Andreas.

-- 
Andreas Schwab, SuSE Labs, address@hidden
SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany
PGP key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."