On Tue, Jul 11, 2023 at 12:04:49AM +0200, Arsen Arsenović wrote: > Segher Boessenkool <segher@xxxxxxxxxxxxxxxxxxx> writes: > > Not in the info format, those are binary files (.info files). Instead, > > the source code (in the doc/ directory) has the documentation in TeXinfo > > format (.texi files). > > No, the distribution also contains gccint.info. Well, colour me purple! The source tarballs indeed contain this as well. Huh! Thanks for the correction. Segher
