summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-07-19 21:55:21 +0200
committerLudovic Courtès <ludo@gnu.org>2015-07-19 21:55:21 +0200
commit66c8ea47387e28624168f3c6e3c3d17d4127f7ce (patch)
tree5a7b7887104faf5ab16cdb35fdc6a8168ce17c23
parent1c2ae810801479727c8195af49676f9fd7cbff7f (diff)
build: Build coreutils-size-map.eps for the sake of the PS and DVI outputs.
* doc.am (EXTRA_DIST): Add coreutils-size-map.eps. (.png.eps): New rule. (ps-local): Add dependency on coreutils-size-map.eps. (dvi-local): New target.
-rw-r--r--doc.am9
1 files changed, 8 insertions, 1 deletions
diff --git a/doc.am b/doc.am
index 8a65b8d90d..3de08e2177 100644
--- a/doc.am
+++ b/doc.am
@@ -25,6 +25,7 @@ EXTRA_DIST += \
doc/images/bootstrap-graph.dot \
doc/images/bootstrap-graph.eps \
doc/images/bootstrap-graph.pdf \
+ doc/images/coreutils-size-map.eps \
doc/environment-gdb.scm
OS_CONFIG_EXAMPLES_TEXI = \
@@ -63,12 +64,18 @@ DOT_OPTIONS = \
$(DOT) -Teps $(DOT_OPTIONS) < "$<" > "$@.tmp"
mv "$@.tmp" "$@"
+.png.eps:
+ convert "$<" "$@-tmp.eps"
+ mv "$@-tmp.eps" "$@"
+
# We cannot add new dependencies to `doc/guix.pdf' & co. (info "(automake)
# Extending"). Using the `-local' rules is imperfect, because they may be
# triggered after the main rule. Oh, well.
pdf-local: $(top_srcdir)/doc/images/bootstrap-graph.pdf
info-local: $(top_srcdir)/doc/images/bootstrap-graph.png
-ps-local: $(top_srcdir)/doc/images/bootstrap-graph.eps
+ps-local: $(top_srcdir)/doc/images/bootstrap-graph.eps \
+ $(top_srcdir)/doc/images/coreutils-size-map.eps
+dvi-local: ps-local
# Manual pages.