Opened 7 years ago

Closed 6 years ago

Last modified 6 years ago

#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 7 years ago by ryandesign (Ryan 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 documentationgcc42, gcc43, gcc44, gcc45, gcc46, gcc47, gcc48: install the info documentation

comment:2 Changed 7 years ago by mf2k (Frank Schima)

Cc: jeremyhu@… added
Version: 2.1.2

comment:3 Changed 7 years ago by jmroot (Joshua Root)

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.

comment:4 Changed 7 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 6 years ago by jeremyhu (Jeremy Huddleston Sequoia)

If you really care about this, please provide a patch.

comment:6 Changed 6 years ago by larryv (Lawrence Velázquez)

Cc: mww@… added
Owner: changed from mww@… to larryv@…
Status: newassigned

comment:7 Changed 6 years ago by larryv (Lawrence Velázquez)

Port: gcc49 added
Summary: gcc42, gcc43, gcc44, gcc45, gcc46, gcc47, gcc48: install the info documentationgcc4*: install the info documentation

comment:8 Changed 6 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 6 years ago by larryv (Lawrence Velázquez)

Owner: changed from larryv@… to jeremyhu@…
Status: assignednew

I’ll not complain :)

comment:10 Changed 6 years ago by jeremyhu (Jeremy Huddleston Sequoia)

Resolution: fixed
Status: newclosed

comment:11 Changed 6 years ago by cooljeanius (Eric Gallager)

Cc: egall@… added

Cc Me!

comment:12 Changed 6 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).

Note: See TracTickets for help on using tickets.