Subject: Re: bug#26817: [PATCH] gnu: Add pngcrunch.

From: Hartmut Goebel <[email-masked]>
Date: Mon, 8 May 2017 09:27:36 +0200

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?

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | [email-masked]               |
| www.crazy-compilers.com | compilers which you thought are impossible |