and now, for gmp-4.1.4... [Was: Updated: gmp-4.1.3]

[Igor Pechtchanski]

On Thu, 30 Sep 2004, Lapo Luchini wrote:

> Gerrit P. Haase wrote:
> > And not all info files are gzipped, change this in the install() like
> > so:
> >   if [ -d ${instdir}${prefix}/share/info ] ; then \
> >     find ${instdir}${prefix}/share/info -type f | xargs gzip -q ; \
> >   fi && \
>
> I guess this would be a change general enough to be in the generic
> script? Or is gmp a rare case for which "-name *.info" doesn't suffice?
> (I'm not very confident with info, still sticking to good old manpages,
> I fear)

Hmm, I recall this being submitted as a GBS patch, but it doesn't seem to
be on my list of pending patches anymore.  Has it dropped off
accidentally, or have we decided that it wasn't worth the bother?  Time to
search the archives, I guess...

FWIW, I apologize for being delinquent in reviewing/applying the GBS
patches.  I'll try to get some of them in RSN, but do feel free to ping me
on the list from time to time.
	Igor
-- 
				http://cs.nyu.edu/~pechtcha/
      |\      _,,,---,,_		pechtcha@cs.nyu.edu
ZZZzz /,`.-'`'    -.  ;-;;,_		igor@watson.ibm.com
     |,4-  ) )-,_. ,\ (  `'-'		Igor Pechtchanski, Ph.D.
    '---''(_/--'  `-'\_) fL	a.k.a JaguaR-R-R-r-r-r-.-.-.  Meow!

"Happiness lies in being privileged to work hard for long hours in doing
whatever you think is worth doing."  -- Dr. Jubal Harshaw