diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-07-19 21:55:21 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-07-19 21:55:21 +0200 |
| commit | 66c8ea47387e28624168f3c6e3c3d17d4127f7ce (patch) | |
| tree | 5a7b7887104faf5ab16cdb35fdc6a8168ce17c23 | |
| parent | 1c2ae810801479727c8195af49676f9fd7cbff7f (diff) | |
| download | guix-66c8ea47387e28624168f3c6e3c3d17d4127f7ce.tar.gz | |
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.am | 9 |
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. |