diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-06 14:08:22 +0200 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-13 12:53:06 +0200 |
| commit | 96d64ad775d663d3522104830337e7f183e84894 (patch) | |
| tree | 17b1ef8b2c1bd8f60272322a490a4d363e1a3447 | |
| parent | ff28fc5f4a29306ebbadaa864033c1b1cb855eec (diff) | |
maint: Avoid PNG and PDF generation to fail silently.
* doc/local.mk (.dot.png): Split single shell command into separate recipe
lines, prefixed by $(AM_V_at).
(.dot.pdf): Likewise.
Change-Id: I41fb856bb73f947abd91361ed203132e939f3897
| -rw-r--r-- | doc/local.mk | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/local.mk b/doc/local.mk index 19359760cc..d049dbf6d1 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -144,12 +144,12 @@ DOT_OPTIONS = \ -Nfontsize=9 -Nheight=.1 -Nwidth=.1 .dot.png: - $(AM_V_DOT)$(DOT) -Tpng $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp"; \ - mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" + $(AM_V_DOT)$(DOT) -Tpng $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp" + $(AM_V_at)mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" .dot.pdf: - $(AM_V_DOT)$(DOT) -Tpdf $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp"; \ - mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" + $(AM_V_DOT)$(DOT) -Tpdf $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp" + $(AM_V_at)mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" .dot.eps: $(AM_V_DOT)$(DOT) -Teps $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp" |