diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-06 11:34:49 +0200 |
|---|---|---|
| committer | Janneke Nieuwenhuizen <janneke@gnu.org> | 2024-04-14 10:29:11 +0200 |
| commit | 4099b12f9f4561d0494c7765b484b53d9073b394 (patch) | |
| tree | d01dc46f85c881576af8e8635adb023096672d86 /guix | |
| parent | ecf0e22dcfbb8fe15898ea001471d8e3f6dd36ee (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
Diffstat (limited to 'guix')
0 files changed, 0 insertions, 0 deletions