Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 90686 - gnat doesn't install info files
Summary: gnat doesn't install info files
Status: RESOLVED TEST-REQUEST
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Development (show other bugs)
Hardware: All Linux
: High normal (vote)
Assignee: ada team [OBSOLETE]
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-04-27 23:44 UTC by Thomas J. Moore
Modified: 2005-11-13 10:02 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Thomas J. Moore 2005-04-27 23:44:09 UTC
Around line 124, gnat-3.4[13].ebuild removes /usr/share/info blindly, claiming that it's provided by gcc.  In fact, the gnat reference manuals are not provided by gcc; this should instead read something like:

rm -rf ${D}/usr/share/info/{gcc,cpp}*

Note that for user-friendliness, I'd probably want it to renmae/link gnat_ugn_unw.info.gz to gnat.info.gz, as well, especially since "info gnat" returns the style guide, rather than the users' guide.

Reproducible: Always
Steps to Reproduce:
1.  After merge, type "info gnat_ugn_unw"

Actual Results:  
No documentation available

Expected Results:  
This should provide user documentation for the gnat tools, as well as the -gnat
options to gcc.  Also, gnat_rm.info is the gnat-specific language reference
manual, and gnat-syle.info is the gnat style guide.
Comment 1 George Shapovalov (RETIRED) gentoo-dev 2005-11-13 10:02:48 UTC
Please test the new (3.44) version, you'll need to unmask it first (in package  
mask). This issue is fixed there. Please also see #64373 in case you have any 
problems.. 
  
George