On 27 Jul 2012 at 0:10, Waldek Hebisch wrote:
[...]
Sorry, I forgot to mention this: git repository is supposed to contain only source files. So machine generated files like content of p/doc/info/ and p/doc/generated/ is omited. Building gpc should fill those directores with content. But for this you need appropriate tools, in particular 'texinfo' package. Look at the output of 'configure' in build log, if configure can not find needed tools it will print a message and skip building documentation.
The problem is that texinfo was there all the time. The gcc configure log reports this:
"configure: WARNING: *** Makeinfo is missing or too old. *** Info documentation will not be built."
Well, I don't know about that, before it is there, and it is the latest version (v4.13).
[...]
Concerning updating git repository: I probably could give write access to persons needing it (I would have to check github instructions). However, more popular method seem to be that developer use GitHub 'fork' feature to create own version and then ask maintainer of main repository to merge changes back to master version.
Ok, I could look into that, thanks.
BTW: Please keep discussion on the mailing list. One, other folks may have similar problems and learn solution from archived message. Second, others may find good answer earlier.
Fair enough!
Best regards, The Chief -------- Prof. Abimbola A. Olowofoyeku (The African Chief) web: http://www.greatchief.plus.com/