diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-06 14:08:22 +0200 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-14 10:29:11 +0200 |
| commit | abc47993eadf05deb34d23a78d3480bc934975c4 (patch) | |
| tree | 3e13bf65db518f86e5171a6259a81d483e499837 /doc/local.mk | |
| parent | 4099b12f9f4561d0494c7765b484b53d9073b394 (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
Diffstat (limited to 'doc/local.mk')
| -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 19359760cc5..d049dbf6d1b 100644 --- a/doc/local.mk +++ b/doc/local.mk | |||
| @@ -144,12 +144,12 @@ DOT_OPTIONS = \ | |||
| 144 | -Nfontsize=9 -Nheight=.1 -Nwidth=.1 | 144 | -Nfontsize=9 -Nheight=.1 -Nwidth=.1 |
| 145 | 145 | ||
| 146 | .dot.png: | 146 | .dot.png: |
| 147 | $(AM_V_DOT)$(DOT) -Tpng $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp"; \ | 147 | $(AM_V_DOT)$(DOT) -Tpng $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp" |
| 148 | mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" | 148 | $(AM_V_at)mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" |
| 149 | 149 | ||
| 150 | .dot.pdf: | 150 | .dot.pdf: |
| 151 | $(AM_V_DOT)$(DOT) -Tpdf $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp"; \ | 151 | $(AM_V_DOT)$(DOT) -Tpdf $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp" |
| 152 | mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" | 152 | $(AM_V_at)mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" |
| 153 | 153 | ||
| 154 | .dot.eps: | 154 | .dot.eps: |
| 155 | $(AM_V_DOT)$(DOT) -Teps $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp" | 155 | $(AM_V_DOT)$(DOT) -Teps $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp" |