Commit 5f253d16 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

minify SVG images if possible

Fixes #422.

* HACKING: mention svgo
* doc/Makefile.am (dist-hook, stamp): Run svgo on produced SVGs.
parent 760bde09
......@@ -53,6 +53,8 @@ only for certain operations (like releases):
pandoc used during Debian packaging for the conversion of
IPython notebooks to html
svgo for reducing SVG images before generating the tarball
(install with: npm install -g svgo)
ltl2ba used in the generated documentation and the test suite
ltl2dstar likewise
ltl3dra likewise
......
## -*- coding: utf-8 -*-
## Copyright (C) 2010-2011, 2013-2019 Laboratoire de Recherche et
## Copyright (C) 2010-2011, 2013-2020 Laboratoire de Recherche et
## Développement de l'Epita (LRDE).
## Copyright (C) 2003-2005 Laboratoire d'Informatique de Paris 6
## (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
......@@ -29,15 +29,25 @@ endif
all-local: $(DOXY_STAMP) $(srcdir)/org-stamp
.PHONY: doc
.PHONY: doc svgo
doc:
-rm -f stamp
$(MAKE) stamp
# We use SVGO only if it is available.
SVGO = if ! (svgo -v >/dev/null); then :; else svgo --disable=removeViewBox
SVGOEND = ; fi
dist-hook: svgo
svgo:
$(SVGO) -f $(distdir)/userdoc $(SVGOEND)
stamp: $(srcdir)/Doxyfile.in $(top_srcdir)/configure.ac
$(MAKE) Doxyfile
-rm -rf spot.html spot.latex
$(DOXYGEN)
$(SVGO) -f spot.html $(SVGOEND)
touch $@
spot.html spot.tag: stamp
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment