[ITA] gmp (libgmp-devel / libgmp3 / libgmpxx4)

[Yaakov (Cygwin/X)]

On 2013-04-02 10:26, Achim Gratz wrote:
> I've added test packages compiled with gcc-4.7.2-1 (to be installed by
> manually selecting them, like the test version of gcc itself):

Style point: doins can take multiple arguments at once, and for 
installing docs, use docinto/dodoc instead, e.g.:

docinto html
dodoc path/to/docs/*

GTG.


Yaakov