From 5504e2255aa6b2feb0ef86c0c5beaa173e405d90 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 23 Nov 2017 11:33:37 +0100
Subject: [PATCH] do not run optipng anymore

* doc/Makefile.am (dist-hook): Remove.
* HACKING: Adjust.
---
 HACKING         | 2 --
 doc/Makefile.am | 6 ------
 2 files changed, 8 deletions(-)

diff --git a/HACKING b/HACKING
index 1ba7f1c9e..df1dae365 100644
--- a/HACKING
+++ b/HACKING
@@ -46,8 +46,6 @@ only for certain operations (like releases):
 
   pandoc    used during Debian packaging for the conversion of
             IPython notebooks to html
-  optipng   used during "make dist" if present, to optimize
-            distributed png images
   R         used by some example in the documentation (the
             documentation will still compile without R, but that
             example will appear broken)
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 2d1053be4..1f523c962 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -147,10 +147,4 @@ EXTRA_DIST = \
   $(srcdir)/org-stamp \
   $(srcdir)/userdoc
 
-
-dist-hook: optipng
-.PHONY: optipng
-optipng:
-	-(optipng -v >/dev/null) && optipng -o5 $(distdir)/userdoc/*.png
-
 DISTCLEANFILES = org/plantuml.jar