From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 29 Dec 2021 15:23:39 +0000 (+0000)
Subject: overview diagram: Manually strip date from fig2dev output
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=72a05a2cc9064d90ab9991742290e6c36a9e1dc7;p=userv.git

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 ff97e12..96eac68 100644
--- 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 bef5b64..fbedc0e 100644
--- 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