overview diagram: Manually strip date from fig2dev output

In aid of reproducibility.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/Makefile.in b/Makefile.in
index ff97e120ab5ff70e9735e32e8d320b117e3aeac7..96eac6845d443239e85f8aba8f2b1c70f48dc437 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -206,7 +206,9 @@ linecount:  $(SOURCES)
                mv -f $<.pdf $@
 
 %.ps:          %.fig
-               fig2dev -L ps -c -l dummy -P -z A4 $< >$@.new && mv $@.new $@
+               fig2dev -L ps -c -l dummy -P -z A4 $< >$@.1.new
+               egrep -v '^%%CreationDate:' $@.1.new >$@.new
+               mv $@.new $@
 
 %.l:           %.l.m4
                $(M4) $(M4FLAGS) -- $< >$@.new && mv $@.new $@

diff --git a/overview.ps b/overview.ps
index bef5b6401f73bd6d3a41c95071f38f3f622d5782..fbedc0e22fc892f0d732bf598222c1cf85ae0ce2 100644 (file)
--- a/overview.ps
+++ b/overview.ps
@@ -1,7 +1,6 @@
 %!PS-Adobe-3.0
 %%Title: overview.fig
 %%Creator: fig2dev Version 3.2.7a
-%%CreationDate: 2021-12-29 13:19:15
 %%Pages: 1
 %%BoundingBox: 0 0 842 595
 %%DocumentPaperSizes: a4