Bug 80031 – dev-libs/gmp: documentation should be installed

• Status: RESOLVED FIXED
• Product: Gentoo Linux

[Description gunix 2005-01-30 00:26:16 UTC]

There is not much documentation about gmp (the math library dev-libs/gmp) installed with the gmp ebuild.
There is a very usable manual at the gmp developers homepage (www.swox.se/gmp). It would be great if this was also installed.

Reproducible: Always
Steps to Reproduce:
1.
2.
3.

[Comment 1 Lucas Chiesa 2005-09-22 10:16:40 UTC]

Here is an ebuild for gmp with a very small modification. It now has the "doc"
use flag and when enabled it downloads the dvi version of the gmp manual. I'm
working on a patch for xdvi to be able to open .dvi.gz files, in the meantime,
"xdvizilla -no-rm" should work.

Lucas Chiesa

[Comment 2 Lucas Chiesa 2005-09-22 10:18:07 UTC]

Created attachment 69016 [details]
dev-libs/gmp/gmp-4.1.4-r1.ebuild

The new ebuild.

[Comment 3 Lucas Chiesa 2005-09-23 17:24:26 UTC]

Created attachment 69131 [details, diff]
Diff from the portage ebuild gmp-4.1.4-r1

Now it downloads the pdf version of the manual and does not compress it.

[Comment 4 Marcus D. Hanwell (RETIRED) 2005-10-09 17:10:39 UTC]

Fixed in CVS now, thanks for the patch Lucas.