From d693bd55797bf75bc08080760e7397589cdb0f85 Mon Sep 17 00:00:00 2001
From: Keith Packard <keithp@keithp.com>
Date: Fri, 5 Oct 2018 21:41:27 -0700
Subject: [PATCH] debian: build depend on faketime

we're using this to ensure that the generated PDF files have
reproducible timestamps

Signed-off-by: Keith Packard <keithp@keithp.com>
---
 debian/control | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/control b/debian/control
index 35145975..0875d828 100644
--- a/debian/control
+++ b/debian/control
@@ -11,6 +11,7 @@ Build-Depends: asciidoc,
                default-jdk,
                docbook-xml,
                docbook-xsl,
+	       faketime,
                fop,
                freetts,
                gawk,
-- 
2.30.2