Bug 719045

Summary: gcc-plugin-devel should include gccint manual
Product: [Fedora] Fedora Reporter: Tom Tromey <tromey>
Component: gccAssignee: Jakub Jelinek <jakub>
Status: CLOSED WONTFIX QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: 15CC: jakub, patrickm
Target Milestone: ---   
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2012-08-07 16:25:04 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:

Description Tom Tromey 2011-07-05 15:20:27 UTC
The GCC plugin API is documented in plugins.texi,
which is built as part of the "gccint" manual.
I think this should be part of the gcc-plugin-devel package.

Comment 1 Jakub Jelinek 2011-07-05 17:44:06 UTC
gccint.info* is already in gcc package and gcc-plugin-devel depends on gcc.

Comment 2 Tom Tromey 2011-07-05 17:49:28 UTC
(In reply to comment #1)
> gccint.info* is already in gcc package and gcc-plugin-devel depends on gcc.

Oops, duh.
I see the source of my confusion -- gccint is not linked into the
master 'dir' file.
Maybe a missing install-info call?

That is, this should yield something:
$ grep gccint /usr/share/info/dir

Comment 3 Fedora End Of Life 2012-08-07 16:25:06 UTC
This message is a notice that Fedora 15 is now at end of life. Fedora
has stopped maintaining and issuing updates for Fedora 15. It is
Fedora's policy to close all bug reports from releases that are no
longer maintained. At this time, all open bugs with a Fedora 'version'
of '15' have been closed as WONTFIX.

(Please note: Our normal process is to give advanced warning of this
occurring, but we forgot to do that. A thousand apologies.)

Package Maintainer: If you wish for this bug to remain open because you
plan to fix it in a currently maintained version, feel free to reopen
this bug and simply change the 'version' to a later Fedora version.

Bug Reporter: Thank you for reporting this issue and we are sorry that
we were unable to fix it before Fedora 15 reached end of life. If you
would still like to see this bug fixed and are able to reproduce it
against a later version of Fedora, you are encouraged to click on
"Clone This Bug" (top right of this page) and open it against that
version of Fedora.

Although we aim to fix as many bugs as possible during every release's
lifetime, sometimes those efforts are overtaken by events. Often a
more recent Fedora release includes newer upstream software that fixes
bugs or makes them obsolete.

The process we are following is described here:
http://fedoraproject.org/wiki/BugZappers/HouseKeeping