bug#29444: [PATCH] gnu: image: Rename pngcrunch to pngcrush and update it.

[Ludovic Courtès]

nee <address@hidden> skribis:

> Hello the package pngcrush was wrongly named pngcrunsh.
>
> From 0aa4d700c488cc25bc45f4402f2afe0823197546 Mon Sep 17 00:00:00 2001
> From: nee <address@hidden>
> Date: Sat, 25 Nov 2017 20:51:11 +0100
> Subject: [PATCH] gnu: image: Rename pngcrunch to pngcrush and update it.
>
> * gnu/packages/image.scm(pngcrush): Renamed from pngcrunch.
> [version]: update to 1.8.13.
> [arguments]: Use the nolib Makefile.
> [origin]: Use the no-lib tar.
> [home-page]: update to the new website.
> * gnu/packages/image.scm(pngcrunsh): Make it a deprecated package.

Funny.  :-)

Applied with the change below to make deprecation effective.

Thanks!

Ludo’.

diff --git a/gnu/packages/image.scm b/gnu/packages/image.scm
index fd6db73a8..a183817db 100644
--- a/gnu/packages/image.scm
+++ b/gnu/packages/image.scm
@@ -241,8 +241,9 @@ in-memory raw vectors.")
 files.  It can compress them as much as 40% losslessly.")
    (license license:zlib)))
 
-;;; typo package of pngcrush
-(deprecated-package "pngcrunch" pngcrush)
+(define-public pngcrunch
+  ;; This package used to be wrongfully name "pngcrunch".
+  (deprecated-package "pngcrunch" pngcrush))
 
 (define-public libjpeg
   (package