diff options
Diffstat (limited to 'doc.am')
| -rw-r--r-- | doc.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc.am b/doc.am index f15efcc33c..045e93056c 100644 --- a/doc.am +++ b/doc.am @@ -67,15 +67,15 @@ DOT_OPTIONS = \ -Nfontsize=9 -Nheight=.1 -Nwidth=.1 .dot.png: - $(DOT) -Tpng $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp" + $(AM_V_DOT)$(DOT) -Tpng $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp"; \ mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" .dot.pdf: - $(DOT) -Tpdf $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp" + $(AM_V_DOT)$(DOT) -Tpdf $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp"; \ mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" .dot.eps: - $(DOT) -Teps $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp" + $(AM_V_DOT)$(DOT) -Teps $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp"; \ mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" .png.eps: |