ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-26 04:29:25 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

build: Build coreutils-size-map.eps for the sake of the PS and DVI outputs.

Browse source 
* 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.
This commit is contained in:
Ludovic Courtès 2015-07-19 21:55:21 +02:00
parent 1c2ae81080
commit 66c8ea4738
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
doc.am
View file

@ -25,6 +25,7 @@ EXTRA_DIST += \
doc/images/bootstrap-graph.dot \ doc/images/bootstrap-graph.dot \
doc/images/bootstrap-graph.eps \ doc/images/bootstrap-graph.eps \
doc/images/bootstrap-graph.pdf \ doc/images/bootstrap-graph.pdf \
doc/images/coreutils-size-map.eps \
doc/environment-gdb.scm doc/environment-gdb.scm
OS_CONFIG_EXAMPLES_TEXI = \ OS_CONFIG_EXAMPLES_TEXI = \
@ -63,12 +64,18 @@ DOT_OPTIONS = \
$(DOT) -Teps $(DOT_OPTIONS) < "$<" > "$@.tmp" $(DOT) -Teps $(DOT_OPTIONS) < "$<" > "$@.tmp"
mv "$@.tmp" "$@" mv "$@.tmp" "$@"
.png.eps:
convert "$<" "$@-tmp.eps"
mv "$@-tmp.eps" "$@"
# We cannot add new dependencies to `doc/guix.pdf' & co. (info "(automake) # We cannot add new dependencies to `doc/guix.pdf' & co. (info "(automake)
# Extending"). Using the `-local' rules is imperfect, because they may be # Extending"). Using the `-local' rules is imperfect, because they may be
# triggered after the main rule. Oh, well. # triggered after the main rule. Oh, well.
pdf-local: $(top_srcdir)/doc/images/bootstrap-graph.pdf pdf-local: $(top_srcdir)/doc/images/bootstrap-graph.pdf
info-local: $(top_srcdir)/doc/images/bootstrap-graph.png 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. # Manual pages.