diff options
| author | Keith Packard <keithp@keithp.com> | 2018-10-05 21:41:27 -0700 |
|---|---|---|
| committer | Keith Packard <keithp@keithp.com> | 2018-10-05 21:43:17 -0700 |
| commit | d693bd55797bf75bc08080760e7397589cdb0f85 (patch) | |
| tree | 0ae4da05c8d9952b759b846dc76fcf8641e1c09d | |
| parent | e3baff769b26fa450c6d9baf7f372940f8e70bc8 (diff) | |
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>
| -rw-r--r-- | debian/control | 1 |
1 files changed, 1 insertions, 0 deletions
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, |