#36629 closed enhancement (fixed)
gcc4*: install the info documentation
| Reported by: | akimd (Akim Demaille) | Owned by: | jeremyhu (Jeremy Huddleston Sequoia) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | jeremyhu (Jeremy Huddleston Sequoia), mww@…, cooljeanius (Eric Gallager) | |
| Port: | gcc42 gcc43 gcc44 gcc45 gcc46 gcc47 gcc48 gcc49 |
Description
Hi all,
The man pages for GCC are just informative, the real documentation is provided by the info files. Yet, reading the port file, I read:
post-destroot {
file delete -force ${destroot}${prefix}/share/man/man7 \
${destroot}${prefix}/share/info
The documentation is needed. At least make it a variant if you really want _not_ to install the documentation.
I don't know either what's in man.7, but removing it does not sound right.
Thanks!
Change History (12)
comment:1 Changed 12 years ago by ryandesign (Ryan Carsten Schmidt)
| Cc: | mww@… openmaintainer@… removed |
|---|---|
| Keywords: | info doc removed |
| Owner: | changed from macports-tickets@… to mww@… |
| Port: | gcc42 gcc43 gcc44 gcc45 gcc46 added |
| Summary: | gcc: install the info documentation → gcc42, gcc43, gcc44, gcc45, gcc46, gcc47, gcc48: install the info documentation |
comment:2 Changed 12 years ago by mf2k (Frank Schima)
| Cc: | jeremyhu@… added |
|---|---|
| Version: | 2.1.2 |
comment:3 Changed 11 years ago by jmroot (Joshua Root)
comment:4 Changed 11 years ago by akimd (Akim Demaille)
But the info pages could be installed with a similar convention as the binaries themselves (gcc-mp-4.8.info etc.).
comment:5 Changed 11 years ago by jeremyhu (Jeremy Huddleston Sequoia)
If you really care about this, please provide a patch.
comment:6 Changed 11 years ago by larryv (Lawrence Velázquez)
| Cc: | mww@… added |
|---|---|
| Owner: | changed from mww@… to larryv@… |
| Status: | new → assigned |
comment:7 Changed 11 years ago by larryv (Lawrence Velázquez)
| Port: | gcc49 added |
|---|---|
| Summary: | gcc42, gcc43, gcc44, gcc45, gcc46, gcc47, gcc48: install the info documentation → gcc4*: install the info documentation |
comment:8 Changed 11 years ago by jeremyhu (Jeremy Huddleston Sequoia)
Actually, I'm working on a patch for this now since I need to revbump all the ports anyways...
comment:9 Changed 11 years ago by larryv (Lawrence Velázquez)
| Owner: | changed from larryv@… to jeremyhu@… |
|---|---|
| Status: | assigned → new |
I’ll not complain :)
comment:10 Changed 11 years ago by jeremyhu (Jeremy Huddleston Sequoia)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
comment:12 Changed 11 years ago by akimd (Akim Demaille)
Brilliant, thanks a lot!
I have one comment though: not only did you install gcc.info, but also gccinstall.info (instructions on how to install gcc, this is really useless I think), and gccint.info (which documents the internals of gcc; very interesting, but maybe it not be installed either).
The info files were removed in r31581; the message says "they are unversioned and will conflict with other gcc's info pages." The deleting of man7 appears to date back to the earliest version of gcc33.