From 72a05a2cc9064d90ab9991742290e6c36a9e1dc7 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 29 Dec 2021 15:23:39 +0000
Subject: [PATCH] overview diagram: Manually strip date from fig2dev output

In aid of reproducibility.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile.in | 4 +++-
 overview.ps | 1 -
 2 files changed, 3 insertions(+), 2 deletions(-)

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
-- 
2.30.2