GNU bug report logs - #26817
[PATCH] gnu: Add pngcrunch.

Previous Next

Full log

View this message in rfc822 format

From: Leo Famulari <leo <at> famulari.name>
To: Hartmut Goebel <h.goebel <at> crazy-compilers.com>
Cc: 26817 <at> debbugs.gnu.org
Subject: bug#26817: [PATCH] gnu: Add pngcrunch.
Date: Mon, 8 May 2017 13:26:39 -0400

[Message part 1 (text/plain, inline)]

On Mon, May 08, 2017 at 09:27:36AM +0200, Hartmut Goebel wrote:
> Am 08.05.2017 um 01:36 schrieb Leo Famulari:
> >> > +              (("\\$\\(DESTDIR\\)/usr/")
> >> > +               (string-append (assoc-ref outputs "out") "/"))))))))
> > That's strange; DESTDIR is typically an intermediate location between
> > the source directory and PREFIX. I assume this Makefile is written by
> > hand?
> 
> Yes, it is written by hand and not using e.g PREFIX :-(
> 
> Should I add a comment?

Yes, I think a brief comment would help other readers later on.

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.