diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-06 11:34:49 +0200 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-13 12:53:06 +0200 |
| commit | ff28fc5f4a29306ebbadaa864033c1b1cb855eec (patch) | |
| tree | 3298bf1ec90f5ccf20857f3fc1ed2435e0c8b2ff | |
| parent | 0c98b3c94469a4bdcadf4756f0438620fd22870c (diff) | |
maint: Avoid EPS generation to fail silently, ensure reproducibility.
Currently, Graphviz' dot does not insert a %%CreationDate. ImageMagick's
convert on PNG->EPS does insert a %%CreationDate but it respects
SOURCE_DATE_EPOCH.
* doc/local.mk (.png.eps): Split single shell command into separate recipe
lines, prefixed by $(AM_V_at).
(.dot.png): Likewise. Check that generated EPS file has no %%CreationDate.
Change-Id: I5a03485c19c72f0c46411815c51290e52a8e5399
| -rw-r--r-- | doc/local.mk | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/local.mk b/doc/local.mk index 6a6864a7f0..19359760cc 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -152,12 +152,13 @@ DOT_OPTIONS = \ mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" .dot.eps: - $(AM_V_DOT)$(DOT) -Teps $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp"; \ - mv "$(srcdir)/$@.tmp" "$(srcdir)/$@" + $(AM_V_DOT)$(DOT) -Teps $(DOT_OPTIONS) < "$<" > "$(srcdir)/$@.tmp" + $(AM_v_at)! grep -q %%CreationDate "$(srcdir)/$@.tmp" + $(AM_V_at)mv "$(srcdir)/$@.tmp" "$@" .png.eps: - $(AM_V_GEN)convert "$<" "$@-tmp.eps"; \ - mv "$@-tmp.eps" "$@" + $(AM_V_GEN)convert "$<" "$@-tmp.eps" + $(AM_V_at)mv "$@-tmp.eps" "$@" # We cannot add new dependencies to `%D%/guix.pdf' & co. (info "(automake) # Extending"). Using the `-local' rules is imperfect, because they may be |