Jonathan Wakely via Gcc-help <gcc-help@xxxxxxxxxxx> writes: >> Texinfo sources - https://gcc.gnu.org/onlinedocs/. >> >> Is there a location where I can download pre-built info manuals? >> Otherwise please let me know how to build from the Texinfo sources. The >> sources on the above website contain only .texi files but no >> makefiles. Only ’./gcc/jit’ has makefiles. > > You have to configure the sources first, which creates the makefiles. The Texinfo sources from the above link doesn’t have a ‘configure’ script. Or did you mean the full ‘gcc’ sources?
