Re: GPC git
"Prof A Olowofoyeku (The African Chief)" <[email protected]>
| Newsgroups | gmane.comp.compilers.gpc |
|---|---|
| Organization | ChiefSoft |
| Message-ID | <[email protected]> |
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/ _______________________________________________ Gpc mailing list [email protected] https://www.g-n-u.de/mailman/listinfo/gpc