do not run optipng anymore
* doc/Makefile.am (dist-hook): Remove. * HACKING: Adjust.
This commit is contained in:
parent
974a4238f6
commit
5504e2255a
2 changed files with 0 additions and 8 deletions
2
HACKING
2
HACKING
|
|
@ -46,8 +46,6 @@ only for certain operations (like releases):
|
||||||
|
|
||||||
pandoc used during Debian packaging for the conversion of
|
pandoc used during Debian packaging for the conversion of
|
||||||
IPython notebooks to html
|
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
|
R used by some example in the documentation (the
|
||||||
documentation will still compile without R, but that
|
documentation will still compile without R, but that
|
||||||
example will appear broken)
|
example will appear broken)
|
||||||
|
|
|
||||||
|
|
@ -147,10 +147,4 @@ EXTRA_DIST = \
|
||||||
$(srcdir)/org-stamp \
|
$(srcdir)/org-stamp \
|
||||||
$(srcdir)/userdoc
|
$(srcdir)/userdoc
|
||||||
|
|
||||||
|
|
||||||
dist-hook: optipng
|
|
||||||
.PHONY: optipng
|
|
||||||
optipng:
|
|
||||||
-(optipng -v >/dev/null) && optipng -o5 $(distdir)/userdoc/*.png
|
|
||||||
|
|
||||||
DISTCLEANFILES = org/plantuml.jar
|
DISTCLEANFILES = org/plantuml.jar
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue