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>

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